An equivalence satisfies:
symmetric /\ reflexive /\ transitive

commonly denoted as ~.