ABSTRACT
Among finite classes, if one is a proper part of another, the one has a smaller number of terms than the other. A proper part is a part not the whole. But among infinite classes, this no longer holds. This distinction is, in fact, an essential part of the definitions of the finite and the infinite. Of two infinite classes, one may have a greater or a smaller number of terms than the other.
