adalah penyatuan dua set tak terbatas selalu satu set tak terbatas
Set infinite -- jika satu set tak terbatas atau mengandung elemen yang tak terbatas, maka penyatuannya tak terbatas. perangkat dari satu set tak terbatas tidak terbatas adalah tak terbatas. jika satu set tak terbatas dibagi menjadi berbagai subset yang tak terbatas, maka setidaknya satu dari mereka harus tak terbatas. setiap set yang dapat dipetakan ke satu set tak terbatas adalah tak terbatas. produk Cartesian dari satu set yang tak terbatas dan satu set tak terbatas adalah tak terbatas. Produk tak terbatas dari satu elemen yang berisi setidaknya dua elemen yang kosong atau tak terbatas; jika axiom memiliki pilihan yang tak terbatas, maka itu adalah pilihan yang tak terbatas.