Description: The epsilon relation is
set-like on any class. (This is the origin of
the term "set-like": a set-like relation "acts like"
relation of sets and their elements.) (Contributed by Mario Carneiro,
Proof of Theorem epse
Dummy variables are mutually distinct and
distinct from all other variables.