with respect to a relation
if (1)
has no maximum in
, (2) every member of
which belongs to the field of
