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