Da steht und wird als notiert. Aber das stimmt nicht. Niemand notiert die Menge so, jeder nutzt die Funktionsschreibweise in der Art oder so ähnlich. Das was da steht ist lediglich nochmal die Menge B aus dem Axiom in Klassenschreibweise (class comprehension), bzw. sollte D dann eigentlich explizit extensional quantifiziert sein: -- 10:57, 14. Jan. 2014 (CET)