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