Equivalence relation satisfies:

It divides a set into disjoint subsets.

source
jl@crush.caltech.edu index