precedes

, (3) every member of the field of

which precedes

precedes some member of

. (By "precedes" we mean "has the relation