2 in notes

taknyklojyzilpra lujvo

x₁ is the transitive closure (directed graph/set of ordered 2-tuples/space) derived/produced/induced from relation space x₂.

Two of its veljvo are experimental gismu: "takni", "kloje". See also: ki'irgrafu (which is, approximately, the typing on/required for/of each of x₁ and x₂).

• jbovlaste

In notes:

takni

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

utka

x₁ and x₂ are path-linked by binary predicate x₃ (ka) via intermediate steps x₄ (ce'o; (ordered) list).