Add section "Binary relations" to iset.mm
Add section "Binary relations" to iset.mm

This is a verbatim copy from set.mm.  The proofs verify, but
follow up changes will be needed for the markup.

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