theorem :: ORDERS_1:55

for R being Relation
for x being set st x is_minimal_in R & R is connected holds
x is_inferior_of R