Meiner Meinung nach bedeutet das:
"Zwei Mengen sind gleich, wenn sie dieselben Elemente enthalten",
formal:
\(M=N\iff (\forall x: \; x\in M\iff x\in N)\).
Hier steht links die "Gleichheit" und rechts die Bedeutung
durch Zurückführung auf die "Extension".