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.