Noties van eindigheid in de verzamelingenleer

In dit verslag worden drie noties van eindigheid van een verzameling gedefinieerd.<br/>Een verzameling is eindig wanneer er een bijectie bestaat tussen de verzameling en een natuurlijk getal. Uiteraard worden eerst de natuurlijke getallen gedefinieerd.<br/>Een verzameling is surjectie-eindig als iedere surjectieve functie met als domein en...