An equivalence satisfies:
symmetric /\ reflexive /\ transitive

commonly denoted as ~.


source
jl@crush.caltech.edu index
strict_partial_order
equivalence_class
strict_order
weak_order
order