Die Definition soll aussagen: "Zwei Mengen sind genau dann gleich, wenn sie die selben Obermengen haben." oder anders ausgedrückt: "Wenn für alle Mengen C gilt: A ist genau dann ein Element von C, wenn auch B ein Element von C ist, dann sind die Mengen A und B gleich."