theorem Th26: :: DILWORTH:26

for R being RelStr
for A being StableSet of R st not minimals R c= A holds
not minimals R c= Upper A