Totala ordo: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Oryanw (diskuto | kontribuoj) e →Kompleteco: ĉiu ...kiu; ne ĉiu ... kio |
Oryanw (diskuto | kontribuoj) e →Kompleteco: manka ] |
||
Linio 56:
=== Kompleteco===
Tutece orda aro estas dirata kompleta, se ĉiu subaro kiu havas [[supera limo|superan limon]], ankaŭ havas [[malpleja supera limo|malplejan superan limon]]. Estas nombro de rezultoj rilatantaj propraĵojn de la ordotopologio al la kompleteco de X:
*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''.)
|