"A simple argument shows that there are only four binary relations which are logical in this sense: the universal relation which always holds between any two objects, the empty relation which never holds, the identity relation which holds only between "two" objects when they are identical, and its opposite, the diversity relation. So the universal relation, the empty relation, identity, and diversity -- these are the only logical binary relations between individuals. This is interesting because just these four relations were introduced and discussed in the theory of relations by Peirce, Schröder, and other logicians of the nineteenth century. " (Tarski 1986, p.150)