Manuscript IX-E@1 · IX-E.tex · definition · 8f8d5e7f

Definition

E1: ordered-data consistency › Correct support geometry · lines 513–521

For actual functionals $F, G$ , set

F ≳ G ⟺ supp_{fun} F \cap J^{-} (supp_{fun} G) = \emptyset .

The causal relations include their null boundaries and coincidence.

Displayed formulas in this passage

unlabeled · line 515
$F ≳ G ⟺ supp_{fun} F \cap J^{-} (supp_{fun} G) = \emptyset .$