Hoofdmenu openen

In de verzamelingenleer is een element een onderdeel van een verzameling of, meer algemeen, van een klasse. Alle elementen samen vormen de verzameling (of klasse).

Elementen van een verzamelingBewerken

Bij een verzameling   noemt men de getallen   en   de elementen van verzameling  . Een groep van elementen uit  , bijvoorbeeld de verzameling   noemt men een deelverzameling van  .

Een element van een verzameling kan zelf ook een verzameling zijn. Zo bestaat de verzameling   uit drie elementen, namelijk de getallen   en   en de verzameling  .

De elementen van een verzameling kunnen van alles zijn. De verzameling

 ,

is bijvoorbeeld de verzameling waarvan de elementen de woorden rood, groen en blauw zijn die de overeenkomstige kleuren aanduiden.

NotatieBewerken

De relatie "is een element van", ook wel "lidmaatschap van een verzameling" genoemd, wordt aangegeven met  . De uitspraak "  is een element van de verzameling  " wordt genoteerd als:

 

Er geldt bijvoorbeeld  .

Men kan ook zeggen of schrijven: "het element   is lid van de verzameling  ". De uitspraak is equivalent met de uitspraak: "de verzameling   bevat het element  ", die genoteerd wordt als:

 

De ontkenning van het lidmaatschap van een verzameling

 

wordt aangegeven door  :

 

Dit betekent dat   geen element van de verzameling   is. Er geldt bijvoorbeeld  .

KardinaliteitBewerken

  Zie kardinaliteit voor het hoofdartikel over dit onderwerp.

Het aantal elementen in een verzameling wordt de kardinaliteit genoemd. Informeel gezegd is dit de grootte van een verzameling. De kardinaliteit van de bovengenoemde verzamelingen   en   is bijvoorbeeld respectievelijk 4 en 3. Een oneindige verzameling bevat een oneindig aantal elementen. De gegeven voorbeelden zijn voorbeelden van eindige verzamelingen. Een voorbeeld van een oneindige verzameling is de verzameling van de natuurlijke getallen  .

VoorbeeldenBewerken

Enkele voorbeelden:

  (5 is een element van de verzameling natuurlijk getallen)
  (3/4 is een element van de verzameling rationale getallen)
  (de wortel van 2 behoort tot de verzameling reële getallen)
  (de wortel van 2 behoort niet tot de verzameling rationale getallen)