theorem Th21: :: DICKSON:22

for R being non empty RelStr
for N being Subset of R
for x being set st x in min-classes N holds
not x is empty