takni experimental gismu

x1 is a binary relationship which is transitive in space/under conditions/on set x2.

Denote this binary relation x1 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 x2), if a R b and b R C, then a R c. See also: kinra, kinfi; taknyklojyzilpra.


In notes:

taknyklojyzilpra
x1 is the transitive closure (directed graph/set of ordered 2-tuples/space) derived/produced/induced from relation space x2.
kinfi
x1 is a binary relationship which is symmetric (under exchange of arguments/terms) in space/under conditions/on set x2.
kinra
x1 is a binary relationship which is reflexive in space/under conditions/on set x2.
grafnseljimcnkipliiu
x1 is a 'quipyew' tree graph with special node x2, on nodes x3 (set of points; includes x2), with edges x4 (set of ordered pairs of nodes), and with other properties x5.