An equivalence satisfies:
symmetric
/\
reflexiv
e /\
transitiv
e
commonly denoted as ~.
source
jl@crush.caltech.edu
index
strict_partial_order
equivalence_class
strict_order
weak_order
order