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