theorem :: WAYBEL_4:33

for L being lower-bounded sup-Semilattice holds Rel2Map L is isomorphic