Add nonnegative integers to iset.mm
Add nonnegative integers to iset.mm

This is the section "Nonnegative integers (as a subset of complex
numbers)" from set.mm, copied without changes. Follow up changes
will be needed.

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