are the minima with respect to the converse of

.

The "sequents" of a class

with respect to a relation

are the minima of the "successors" of