Totala ordo: Malsamoj inter versioj

===Pleneco Kompleteco===

Tutece orda aro estas diritadirata al esti plenumikompleta, se ĉiu subaro (tiu, ke, kiu) havas [[supera barolimo|superan limon], ankaŭ havas supremo[[malpleja supera limo|malplejan superan limon]]. Estas nombro de rezultoj rilatanterilatantaj propraĵojpropraĵojn de la (mendi, ordo) topologioordotopologio al la plenecokompleteco de X:

*Se la (mendi, ordo) topologioordotopologio sur ''X'' estas koneksa, ''X'' estas plenumikompleta.

*''X'' estas koneksa sub la (mendiordotopologio, ordo) topologio se kaj nur se ĝi estas plenumikompleta kaj estas nemankas ''breĉo'' en ''X'' (breĉo estas du punktoj ''a'' kaj ''b'' en ''X'' sen ''c'' (veriganta, kontentiganta) ''a'' < ''c'' < ''b''.)

*''X'' estas plenumikompleta, se kaj nur se ĉiu baritalimita ara tiokio estas (fermita, fermis) en la (mendi, ordo) topologioordotopologio estas kompakta.