theorem Th4: :: WAYBEL22:4

for L being non empty RelStr holds id L is directed-sups-preserving