takni experimental gismu

x₁ is a binary relationship which is transitive in space/under conditions/on set x₂.

Denote this binary relation x₁ between elements y, z (in that order) by "y R z" (in that order); then, for any elements a, b, c in the set of consideration (possibly x₂), if a R b and b R C, then a R c. See also: "kinra", "kinfi"; "taknyklojyzilpra", ".efklipi", ".efklizu".

jbovlaste

In notes:

taknyklojyzilpra: x₁ is the transitive closure (directed graph/set of ordered 2-tuples/space) derived/produced/induced from relation space x₂.
kinfi: x₁ is a binary relationship which is symmetric (under exchange of arguments/terms) in space/under conditions/on set x₂.
kinra: x₁ is a binary relationship which is reflexive in space/under conditions/on set x₂.
efklipi: x₁ is a binary relation which is right-Euclidean on space/set/under conditions x₂.
efklizu: x₁ is a binary relation which is left-Euclidean on space/set/under conditions x₂.
grafnseljimcnkipliiu: x₁ is a 'quipyew' tree graph with special node x₂, on nodes x₃ (set of points; includes x₂), with edges x₄ (set of ordered pairs of nodes), and with other properties x₅.
utka: x₁ and x₂ are path-linked by binary predicate x₃ (ka) via intermediate steps x₄ (ce'o; (ordered) list).