theorem Th19: :: WAYBEL10:19

for L being complete LATTICE
for c being closure Function of L,L holds closure_op (Image c) = c