kinfi experimental gismu

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.


In notes:

kinra
x1 is a binary relationship which is reflexive in space/under conditions/on set x2.
takni
x1 is a binary relationship which is transitive in space/under conditions/on set x2.