constructed so that elements a and b belong to the same class iff they are equivalent
constructed so that elements a and b belong to the same class iff they are equivalent
tests numbers, lists, etc. -positive, negative, 1 element, many elements, first, last, middle