 Mostowski collapse theorem

Every well-founded extensional relation is uniquely isomorphic to membership on a transitive set.