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