Hmm, also soweit ich es verstehe handelt es sich hierbei um eine Definition die ein "Axiom" (wobei ich nicht verstehe, wieso diese Aussage den Status eines Axioms bekommt) ersetzen soll. Es geht hier also um die Gleichheit von Mengen, und demzufolge auch um die von mir vorgeschlagene Formel. Die Schnittmengendefinition sieht etwas anders aus - dort wird anstatt eines Bikonditionals eine Implikation verwendet. So wie die Aussage zurzeit steht macht die (für mich zumindest keinen Sinn). Ich lese es mal vor: Es ist definitionsgemäß logisch Äquivalent zu sagen "Menge A ist gleich der Menge B" und "Für ein beliebiges Objekt C gilt, wenn A ein Element von C ist, so ist auch B ein Element von C, und umgekehrt" Was mich hier schon bissl stutzig macht, ist dass die Mengen auf einmal Elemente von irgendwelchen (ja gar allen möglichen Mengen unserer Anschaung) sein sollten. -- 15:24, 7. Nov. 2009 (CET)