Manuscript En05-A@1 · En05-A.tex · definition · f076e703
Definition: Substrate
Partitioned dynamics and the exact comparison theorem › Substrates and admissibility · lines 363–367
En05-A@1#def:substrate
A substrate is , where is countable, is an integer-valued metric with finite balls, and is an integer.