Add "Partial and complete ordering" to iset.mm
Add "Partial and complete ordering" to iset.mm

This is a verbatim copy of this section from set.mm, and will
require follow up changes in order to verify.

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