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

Definition: Causal-space properties used here

Chronology, horismos, and operational sharpness › A causal order does not specify chronology · lines 1045–1055

Let $J$ be a partial order and let $I \subseteq J$ be irreflexive. Assume the push-up implications

x J y, y I z \Rightarrow x I z, x I y, y J z \Rightarrow x I z .

Write $x \leq y$ for $J$ , $x ≪ y$ for $I$ , and define horismos by $H = J ∖ I$ , written $x ⟶ y$ .

Displayed formulas in this passage

unlabeled · line 1048
$x J y, y I z \Rightarrow x I z, x I y, y J z \Rightarrow x I z .$