Diese Definition darf nicht mit dem Extensionalitätsaxiom verwechselt werden, denn sie besagt, dass Elemente gleich sind, wenn sie in denselben Mengen liegen. Man kann mit ihr und der Extensionalität alle Gleichungsaxiome beweisen, so dass Gleichungen aus dem ZF-Axiomensystem eliminierbar sind.