, and the "successors" of

are those members of the field of

to which every member of the common part of

and the field of

has the relation