let L be complete LATTICE; :: thesis: ClOpers L,(ClosureSystems L) opp are_isomorphic
take ClImageMap L ; :: according to WAYBEL_1:def 8 :: thesis: ClImageMap L is isomorphic
thus ClImageMap L is isomorphic ; :: thesis: verum