theorem :: ORDERS_2:15

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