Manuscript IX-D@3 · IX-D-v3.tex · section · 3ad4586e
Reversed and conjugate comparison domains
D1: domains and separate causal interfaces › Reversed and conjugate comparison domains · lines 822–828
The restriction is not a closure theorem. A future time-ordering domain must still name the pairs it contains, including the reversed and conjugate pairs needed by its identities.