Registry · Definition II.D22 established formalized

II.D22 — Causal Structure

The partial order on null-line segments of tau^3 determined by the two characteristic families from the wave equation and the forward direction from B/C asymmetry (Prime Polarity, I.T05).

Book II Part 4 Ch. 21

Dependency Graph

Depends on (1)

Depended on by (8)

Lean Formalization

Module: TauLib.BookII.Geometry.CausalStructure

Symbol: light_cone_check