Coba jelasin Kelengkapan dari Urutan total dong

Sebuah himpunan berurutan total dikatakan kelengkapan jika setiap himpunan bagian tidak kosong yang memiliki batas atas, dan batas atas terkecil. Misalnya, himpunan bilangan riil R sebagai kelengkapan, tetapi himpunan bilangan rasional Q bukan kelengkapan. Dengan kata lain, berbagai konsep kelengkapan (jangan disamakan dengan "total") tidak terbawa pada pembatas. Misalnya, di atas bilangan riil, sifat dari relasi adalah bahwa setiap himpunan bagian tidak kosong S dari R dengan batas atas dalam R memiliki batas atas terkecil (juga disebut supremum) di R. Namun, untuk bilangan rasional supremum ini belum tentu rasional, sehingga sifat yang sama tidak berpegang pada restriksi relasi ≤ dengan bilangan rasional.

Ada sejumlah hasil yang mengaitkan sifat topologi urutan dengan kelengkapan X:

Jika topologi urutan terhubung pada X, maka X adalah kelengkapan.

X yang terhubung di bawah topologi urutan jika dan hanya jika kelengkapan dan tidak ada celah dalam X. Kesenjangannya adalah dua titik a dan b di X dengan a < b sehingga tidak ada c yang memenuhi a < c < b.)

X adalah kelengkapan jika dan hanya jika setiap himpunan berbatas yang ditutup dalam topologi urutan kompak.

Satu himpunan berurutan total dengan topologi urutan yang merupakan kisi lengkap adalah kompak. Contohnya adalah interval tertutup dari bilangan riil, misal interval unit [0,1], dan ekstensi garis bilangan riil. Ada homeomorfisme yang merupakan kelengkapan di antara contoh-contoh ini.