PS: Hier mal ein Analogon: Mengenlehre#Gleichheit das würde dem ersteren ähneln und da dort auch "kleine x" benutzt werden, wird der Elementcharakter betont, wieso das C hier groß ist, kann ich nicht mal sagen - ZFM macht eh alles nur komplizierter als es ist ;) Ich seh grad, dass du das Extensionalitätsaxiom meinst. Eigentlich ist das dann doch selbstredend richtig. Jedes c was du in A findest muss auch in B sein und jedes c was du in B findet ist auch in A - dann sind die Mengen gleich. Grüße -- WissensDürster 09:45, 7. Nov. 2009 (CET)