for L being non empty lower-bounded Poset
for I being Ideal of L holds Bottom L in I