for E being non empty set st E is epsilon-transitive holds
E |= the_axiom_of_extensionality