:: deftheorem Def4 defines ClImageMap WAYBEL10:def 4 :
for L being non empty Poset
for b₂ being Function of (ClOpers L),((ClosureSystems L) opp) holds
( b₂ = ClImageMap L iff for c being closure Function of L,L holds b₂ . c = Image c );