Before we can be wholly satisfied with these definitions, we must remove the restriction that no two members of
are to overlap. For this purpose, instead of defining first a class called a "selection," we will define first a relation which we will call a "selector." A relation
will be called a "selector" from
if, from every member of
, it picks out one term as the representative of that member, i.e. if, given any member
