A relation between sets and is a construct which relates elements or , so that is either true or false. #m/def/set
We may therefore define a relation as the following subset of the cartesian product
or equivalently as a function .
A special class of relation is the Equivalence relation.