Definition, synonyms and related words
A binary relation that is reflexive, antisymmetric, and transitive.