theorem Th11: :: YELLOW21:11

for P being non empty upper-bounded Poset st the InternalRel of P is well-ordering holds
P is algebraic