.

The definition is:

If

is a function which can take a given object

as argument, and

the type mentioned in the above axiom, then to say that the class determined by