(y\in \{x\mid A(x)\}\iff A(y))} The principle of extensionality (Extensionalitätsprinzip ) describes the equality of classes by matching their elements...