theorem Th9: :: YELLOW21:9

for P being non empty upper-bounded Poset st the InternalRel of P is well-ordering holds
( P is connected & P is complete & P is continuous )