theorem :: WAYBEL_4:39

for L being lower-bounded continuous LATTICE
for I being Ideal of L holds DownMap I is approximating by Th37;