 Note that it is possible that a relation can have its domain in one type and range in another. This adds complications in the theory of cardinal numbers when a relation of similarity (equinumerousity) holds between classes of different types. (See the discussion of ∗100 below.)