overlap, i.e. that if

and

are two different members of

, then no member of the one is a member of the other. We shall call a class a "selection" from

when it consists of just one term from each member of