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