theorem Th20: :: YELLOW15:23

for L being non empty RelStr holds
( [#] L is infs-closed & [#] L is sups-closed )