I henhold til eksistensialitetsaksiomet er to mengder like dersom de inneholder de samme elementene – det finnes med andre ord kun én mengde som ikke inneholder noen elementer. Denne kalles derfor , snarere enn .