theorem :: ORDERS_2:17

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