Dedekind-oneindige verzameling
Uit Wikipedia, de vrije encyclopedia
In de verzamelingenleer, een deelgebied van de wiskunde, is een verzameling A Dedekind-oneindig als er een strikte deelverzameling B van A bestaat, die gelijkmachtig aan A is. Expliciet betekent dit dat er een bijectieve functie van A op een strikte deelverzameling B van A bestaat. Men noemt een verzameling Dedekind-eindig als deze niet Dedekind-oneindig is.