Add Equivalence relations and classes to iset.mm
Add Equivalence relations and classes to iset.mm

This section is copied verbatim from set.mm.  It will need changes
to verify.

metamath/set.mm,metamath/set.mm,metamath/set.mm