Registry · Definition V.D18 tau-effective formalized

V.D18 — Causal Ordering Relation

The causal ordering relation on the alpha-orbit is the partial order alpha_m < alpha_n iff m < n. When alpha_m < alpha_n, level m causally precedes level n. The ordering is strict, transitive, and irreflexive (excluding closed timelike curves at the structural level).

Book V Part 1 Ch. 4

Dependency Graph

Depends on (3)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.Temporal.BaseCircle

Symbol: Tau.BookV.Temporal.CausalOrderingRelation