Deelverzameling: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
k hiërarchie
k corr. typo's
Regel 1:
[[Bestand:Venn A subset B.svg|thumb|200px|Een [[Venndiagram]] van verzameling A als deelverzameling van B.<br>B omvat A.]]
In de [[verzamelingenleer]] is een '''deelverzameling''' van een gegeven [[Verzameling (wiskunde)|verzameling]] een verzameling die geheel bevat is in (deel is van) de gegeven verzameling. Alle [[Element (wiskunde)|elementen]] van de deelverzameling zijn dus ook element van de gegeven verzameling. Als ''A'' en ''B'' verzamelingen zijn en ieder |element van ''A'' is ook een element van ''B'', dan is ''A'' een deelverzameling van ''B'', genoteerd als:
:<math>A \subseteq B</math>.
 
Regel 11:
 
== Strikte deelverzameling ==
Een deelverzameling van ''B'' die niet [[identiek|gelijk is aan]] ''B'' wordt een ''echte, eigenlijke'' of ''strikte'' deelverzameling genoemd. Als ''A'' een echte deelverzameling is van ''B'', wordt dat oordoor sommige auteurs genoteerd als:
:<math>A \subset B \Longleftrightarrow A \subseteq B \and A \neq B</math>.