 Nevertheless, if two classes α, β are of different types, we can speak of them as having the same cardinal … because a one-one relation may hold between the members of α and the members of β, even when α and β are of different types. [Emphasis added]