Add nnmord and nnmword to iset.mm
Add nnmord and nnmword to iset.mm

The proof of nnmord is similar to the one in set.mm, but
changes ordtri2 to nntri2 and ord0eln0 to nn0eln0 , and
related changes.

The proof of nnmword from set.mm just needs to have ordtri1
changed to nntri1 and related changes.

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