for A being non empty Poset holds LowerCone ([#] A) = {}