Geometric hypotheses

This distance-function formulation avoids requiring $E_{\epsilon }\cap K$ to approximate every compact set, which would fail, for example, for a singleton not lying on a particular mesh.

For an embedded terminal event $q=(T{h}_{\epsilon },z_{\epsilon }(A))$, define the full metric past envelope

A finite experiment uses its restriction to the experiment's starting time.