; and this is to be all that

does. The formal definition is:

A "selector" from a class of classes

is a one-many relation, having

for its converse domain, and such that, if

has the relation to