has the relation
to
, then
is a member of
. Such a relation picks out a "representative" from each sub-class; of course, it will often happen that two sub-classes have the same representative. What Zermelo does, in effect, is to count off the members of
