theorem :: ORDERS_2:19

for A being non empty Poset
for a being Element of A holds not a in UpperCone {a}