Add extended real section to iset.mm
Add extended real section to iset.mm

This is the section "Infinity and the extended real number system"
copied without changes. Follow ups will be needed to get it to
verify.

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