Eindige verzameling: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k WPCleaner v1.38 - Link naar doorverwijspagina aangepast. Help mee! - Verzameling / Opgelost met behulp van WP:CW (Code 022: Categorie met spatie - Code 064: Link gelijk aan linktekst) |
Geen bewerkingssamenvatting |
||
Regel 35:
* Surjectief-eindig of S-eindig als elke surjectieve afbeelding <math>f:F\to F</math> injectief is.
In de [[Zermelo-Fraenkel-verzamelingenleer]], zonder gebruik te maken van het [[keuzeaxioma]], verhouden de definities van eindig zich als volgt
:<math>\text{S-eindig}\Leftarrow\text{Eindig}\Leftrightarrow\text{T-eindig}\Leftrightarrow\text{D}_2\text{-eindig}\Rightarrow\text{D-eindig}</math>
en
|