noun Mathematics.
- a relation that is reflexive, symmetrical, and transitive, as equality.
noun
- logic maths a relation that is reflexive, symmetric, and transitive: it imposes a partition on its domain of definition so that two elements belong to the same subset if and only if the relation holds between them