 \(\ast 63\) Relative Types of Classes. The theory of types in PM allows for expressions relating classes of different types. The gap between set theory and the theory of classes in PM comes from the lack of a cumulative theory of classes of any type. These PM system allows definitions of relations between, say, individuals and classes of individuals. These are needed in the account of real numbers in terms of classes of classes of ratios in Volume III.