reserve a for set;
reserve L for lower-bounded sup-Semilattice;
reserve x for Element of L;

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