theorem :: WAYBEL32:2

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