 Similarly, the number 2 is the class of all pairs, rather than a particular pair. In the type theory of PM there will be distinct couples for the types of y and x. When they are of the same type the couple is called “homogenous”. Even with homogenous pairs there will be distinct classes of pairs for each type, and thus a different number 2 for each type. The same notion applies to relations.