theorem Th14: :: ORDERS_2:14

for A being non empty Poset holds UpperCone ({} A) = the carrier of A