are those members of

and the field of

(if any) to which no member of

has the relation

.

The "maxima" with respect to