x_{1} is a binary relation which is left-Euclidean on space/set/under conditions x_{2}.

Definitionally, x_{1} is a possibly-ordered binary relation given by set R such that for all a, b, c in x_{2} (if such makes sense; else: the universe of discourse restricted by x_{2}), if (b, a) in R and (c, a,) in R, then (b, c) in R and (c, b) in R. See also: "takni", ".efklipi".