x_{1} is a binary relationship which is transitive in space/under conditions/on set x_{2}.

Denote this binary relation x_{1} 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_{2}), if a R b and b R C, then a R c.
See also: kinra, kinfi; taknyklojyzilpra.

- taknyklojyzilpra
- x
_{1}is the transitive closure (directed graph/set of ordered 2-tuples/space) derived/produced/induced from relation space x_{2}. - kinfi
- x
_{1}is a binary relationship which is symmetric (under exchange of arguments/terms) in space/under conditions/on set x_{2}. - kinra
- x
_{1}is a binary relationship which is reflexive in space/under conditions/on set x_{2}. - grafnseljimcnkipliiu
- x
_{1}is a 'quipyew' tree graph with special node x_{2}, on nodes x_{3}(set of points; includes x_{2}), with edges x_{4}(set of ordered pairs of nodes), and with other properties x_{5}. - utka
- x
_{1}and x_{2}are path-linked by binary predicate x_{3}(ka) via intermediate steps x_{4}(ce'o; (ordered) list).