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