x_{1} is the transitive closure (directed graph/set of ordered 2-tuples/space) derived/produced/induced from relation space x_{2}.

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_{1} and x_{2}).