Gelijkheid (verzamelingenleer)

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen

Twee verzamelingen zijn aan elkaar gelijk als ze dezelfde elementen hebben. Dit houdt in dat de verzameling A gelijk is aan de verzameling B, genoteerd als A=B, als elk element uit A ook element is van B en omgekeerd elk element uit B ook element is van A.

Definitie[bewerken]

De verzamelingen A en B zijn aan elkaar gelijk, A = B, als

Gebaseerd op de bovenstaande definitie en de definitie van een deelverzameling kan men bewijzen dat twee verzamelingen A en B aan elkaar gelijk zijn dan en slechts dan als als A een deelverzameling is van B en omgekeerd ook geldt dat B een deelverzameling is van A:

.

Voorbeelden[bewerken]

A = { 1, 2, 3 }, B = { 1, 2, 3 } en C = { 1, 2 } zijn verzamelingen. Er geldt: