, we call
the "representative" of
in respect of the relation
.
A "selection" from
will now be defined as the domain of a selector; and the multiplicative class, as before, will be the class of selections.
, we call
the "representative" of
in respect of the relation
.
A "selection" from
will now be defined as the domain of a selector; and the multiplicative class, as before, will be the class of selections.