In de verzamelingenleer, een deelgebied van de wiskunde, is een oneindige verzameling een verzameling die geen eindige verzameling is. Oneindige verzameling kunnen zowel aftelbaar als overaftelbaar zijn. Een verzameling
is oneindig als voor geen enkel natuurlijk getal
de verzameling
en
gelijkmachtig zijn.[1]
Enkele voorbeelden:
- De verzameling
van alle gehele getallen
, is een aftelbaar oneindige verzameling
- De verzameling
van alle reële getallen is een overaftelbare verzameling.
Het kan bij twee oneindige verzamelingen
en
zo zijn dat
een echte deelverzameling is van
, maar dat
en
toch gelijkmachtig zijn. Er bestaat in dat geval dus een bijectie van
naar
.
- ↑ Het geval
komt er mee overeen dat
de lege verzameling is.