Add Relations to iset.mm
Add Relations to iset.mm

This is an unchanged copy of the set.mm "Relations" section.
Follow up changes will be needed for it to verify.

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