Principle of Extensionality

We say that equality in $A$ is defined extensionalitily iff they have the same elements (ignoring duplicity and ordering)

$$x,y\in A\to x=y⟺\forall z.z\in x⟺z\in y$$