theorem Th20: :: SCMYCIEL:20

for G being non empty subset-closed set holds {} in G