Lebih besar
Karena definisi ini dibangun melalui teori himpunan, maka harus diasumsikan lebih dahulu keberadaan himpunan hingga (Inggris: "finite set") dan berlakunya berbagai konsep lain yang menyertainya, misalnya konsep himpunan bagian (Inggris: "subset"), konsep inklusi antara dua himpunan, dsb.