Die Formel müßte man - sofern ich sie jetzt richtig übersetze - so lesen: "Für alle A und B gilt: A ist gleich B ist äquivalent zu: Für alle C gilt: C ist Element von A ist äquivalent zu C ist Element von B."