Transitivity
Entry 6.5 · Level 5 · Level 5+ — Higher Compositions
Construction
Three entities connected by two sequential relations
Formal Signature (σ)
compose(r₁, r₂) → r₃Justification
When endpoint of one relation is startpoint of another, they compose. Geometric realization of transitivity.
Semantic Labels
TransitivityChainSequence
Related Theorems
T3Sort Completeness
The four sorts (G, T, R, C) classify all well-formed expressions without overlap or gap. Every well-formed expression belongs to exactly one sort.
T4Operation Closure
The 11 Σ_UL operations are closed over the set of well-formed expressions. Applying any operation to well-formed inputs always yields a well-formed output.
T6Sort Preservation Under Operations
Each operation signature specifies the sorts of its inputs and output. The sort of the result is fully determined by the operation and the sorts of its arguments.
T9Sort–Operation Compatibility
The sort system and operation system are mutually consistent: no operation can produce a sort violation, and no sort restriction blocks a structurally valid operation.
Cross-Cultural Parallels
Transitivity (Relation Family)
Synonyms: Chain, Sequence, Through
Related Entries
Cite this entry
Jordan Traña. "Transitivity" (6.5). Cosmic Codex — Universal Symbology, 2026. https://cosmiccodex.app/lexicon/6.5