Jabarkan Alef-satu dari Bilangan alef

adalah kardinalitas dari himpunan semua bilangan ordinal yang terhitung, disebut ω1 atau (kadang-kadang) Ω. ω1 sendiri adalah suatu bilangan ordinal yang lebih besar dari semua bilangan ordinal yang terhitung, sehingga merupakan suatu himpunan tak terhitung. Jadi,  berbeda dari . Definisi  menyiratkan (dalam ZF, teori himpunan Zermelo–Fraenkel tanpa aksioma pilihan) bahwa tidak ada bilangan ordinal antara  dan .