theorem :: WAYBEL34:39

for L being continuous complete LATTICE
for c being closure Function of L,L st corestr c is waybelow-preserving holds
Image c is directed-sups-inheriting