A relation R defined on a set S and having the property that
whenever x R y and y R x
then x = y
where x and y are arbitrary members of S. Examples include “is a subset of” defined on sets, and “less than or equal to” defined on the integers. See also asymmetric relation, symmetric relation.