to.")

This presupposes the following definition of a "maximum":—

A term

is said to be a "maximum" of a class

with respect to a relation

if