Jabarkan Definisi dan terminologi dari Himpunan hingga

Secara umum, sebuah himpunan  dikatakan terhingga jika terdapat sebuah bijeksi

untuk suatu bilangan asli . Bilangan  merupakan kekardinalan himpunan (yang dinyatakan sebagai ). Himpunan kosong  atau , dianggap terhingga, dengan kekardinalan himpunannya adalah nol.

Jika himpunan adalah terhingga, maka anggotanya dapat ditulis — dalam banyak cara — dalam sebuah barisan: