Manuscript En08-A@1 · En08-A.tex · definition · c688d76d

Definition: Faithful operational realization

Chronology, horismos, and operational sharpness › Attainability and robust propagation · lines 1115–1123

An operational system on $E \subset V$ faithfully realizes the restriction of a cone order if

p ⇝ q ⟺ q - p \in K (p, q \in E, p \neq = q),

with the left side witnessed by an admissible protocol.

Displayed formulas in this passage