for L being lower-bounded meet-continuous Semilattice
for I being Ideal of L holds DownMap I is approximating