We may regard the derived extensional function as having for its argument the class determined by the function
, and as asserting
of this class. This may be taken as the definition of a proposition about a class. I.e. we may define:
To assert that "the class determined by the function
has the property
" is to assert that