TI(x) = ⨆ DC(x) · C ∈ {B, V, S, R} ⊗ M4 aile · 13 modül · 54 alan · M1–M66 yüz · 25 parametre · 97 alan · Σ halkasıL4: ⟨a, v, E⁺, E⁻, C, t⟩