Equivalence in Sets is just equality
Now using explicit extensionality, which has other problems