Definition: Supported operational presentation

A geometric atlas may describe a finite transverse patch and a finite axial slab in the conical completion, including its stipulated singular stratum.

The operational support is different: it is the closure of a finite time interval times a bounded convex developed spatial tube $U$, with $\overline{U}\cap \mathcal{W}=\varnothing$. All initial carriers, blanks, programme words, controller registers, and ancillary inputs are declared there. There is no undeclared incoming boundary data.