for L being complete LATTICE holds DsupClOpers L,(Subalgebras L) opp are_isomorphic