Totala ordo: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Oryanw (diskuto | kontribuoj)
→‎Pleneco: "plenumi" signifas "to fulfill"
Oryanw (diskuto | kontribuoj)
e →‎Kompleteco: ĉiu ...kiu; ne ĉiu ... kio
Linio 59:
*Se la ordotopologio sur ''X'' estas koneksa, ''X'' estas kompleta.
*''X'' estas koneksa sub la ordotopologio, se kaj nur se ĝi estas kompleta kaj mankas ''breĉo'' en ''X'' (breĉo estas du punktoj ''a'' kaj ''b'' en ''X'' sen ''c'' kontentiganta ''a'' < ''c'' < ''b''.)
*''X'' estas kompleta, se kaj nur se ĉiu limita araaro kiokiu estas fermita en la ordotopologio estas kompakta.
 
===Ĉenoj===