for L being non empty lower-bounded Poset holds downarrow (Bottom L) = {(Bottom L)}