Manuscript XXII-C@1 · XXII-C.tex · section · b9a05a24

Raw experiment-use relation

The frozen order-forming operation › Raw experiment-use relation · lines 565–588

XXII-C@1#eq:direct-relation

Set

E = I \times J .

The direct relation is

(e, a) R_{inf}_{D} (f, b) ⟺ e = f, a \neq = b, Δ_{e} (a, b) > 0.

There are no cross-identifier edges in this definition.

The absence of cross-identifier edges records the scope of the separate-experiment extraction. It is not a measured statement of geometric separation or of non-signalling for an unspecified joint experiment.

Write $p ⇝_{D} q$ when $p = q$ , or when a finite directed path in $R_{inf}_{D}$ runs from $p$ to $q$ . Every nontrivial path stays within one experiment identifier.

Displayed formulas in this passage

unlabeled · line 568
$E = I \times J .$
XXII-C@1#eq:direct-relation · line 572
$(e, a) R_{inf}_{D} (f, b) ⟺ e = f, a \neq = b, Δ_{e} (a, b) > 0.$

Nearby in this section

definition: Definition: Component quotient
section: Raw experiment-use relation
theorem: Theorem: Order extraction
section: Raw experiment-use relation
lemma: Lemma: Why cycles cannot be represented injectively without a quotient
example: Example: A quotient is a substantive change of carrier