." This is a function of
, and various different propositions result from giving different values to
. We may (with a little omission of intermediate steps not relevant to our present purpose) take the above function of
as what is meant by "the class determined by
is a unit class" or "the class determined by