theorem Th27: :: DILWORTH:27

for R being RelStr
for A being StableSet of R st not maximals R c= A holds
not maximals R c= Lower A