Add rest of ordering section
Add rest of ordering section

These are the theorems from ltp1i to lemul12bd , copied without
change from set.mm. Three of them do not verify and will need a
follow up change.

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