theorem :: WAYBEL10:29

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