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