for T being non empty up-complete TopPoset st T is upper holds
T is order_consistent