theorem Th32: :: WAYBEL_4:32

for L being lower-bounded sup-Semilattice holds (Rel2Map L) " = Map2Rel L