Deelverzameling: verschil tussen versies

Een deelverzameling <math>A</math> van ''<math>B''</math> die niet [[identiek|gelijk is aan]] ''<math>B''</math> wordt een ''echte'', ''strikte'' of ''eigenlijke'' deelverzameling genoemd. Formeel: <math>A</math> is een strikte deelverzameling van <math>B</math> als:

:<math>A \subseteq B \and A \neq B</math> (waarin ''A'' een strikte deelverzameling is van ''B'')