Das ist in der Tat solange richtig, wie man sich auf eine Prädikatenlogik mit Identität bezieht. Tut man das aber nicht - und das ist hier gemeint - dann ist die Vereinfachung möglich und das Gleichheitszeichen ist mit dieser Definition zu eliminieren (Ich kenne diese Variante aus einer Mengenlehre-Vorlesung). Der Präzision halber muss das natürlich ausdrücklich erwähnt werden.-- Wilfried Neumaier 21:50, 15. Jan. 2008 (CET)