Eindige verzameling: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
JRB (overleg | bijdragen)
Geen bewerkingssamenvatting
JRB (overleg | bijdragen)
Regel 22:
:<math>|S\cup T| = |S| + |T| - |S\cap T|.</math>
Meer in het algemeen is de vereniging van elk eindig aantal van eindige verzamelingen eindig. Het [[Cartesisch product]] van eindige verzamelingen is ook eindig, met
:<math>|S\times T| = |S|\times|T|. \,</math>
 
Op gelijks wijze is het cartesisch product van een eindig aantal eindige verzamelingen eindig. Een eindige verzameling met ''n'' elementen heeft 2<sup>''n''</sup> verschillende deelverzamelingen. Dat wil zeggen dat de [[machtsverzameling]] van een eindige verzameling ook eindig is, met een kardinaliteit van 2<sup>''n''</sup>.