taknyklojyzilpra lujvo

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

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

In notes:

x1 is a binary relationship which is transitive in space/under conditions/on set x2.
x1 and x2 are path-linked by binary predicate x3 (ka) via intermediate steps x4 (ce'o; (ordered) list).