Eindige verzameling: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
|||
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>.
|