theorem Th6: :: WAYBEL32:6

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