x1 is a binary relationship which is symmetric (under exchange of arguments/terms) in space/under conditions/on set x2.
Denote this binary relation x1 between elements y, z (in that order) by "y R z" (in that order); then, for any elements a, b in the set of consideration (possibly x2), if a R b, then b R a. See also: kinra, takni.