Remove ordwe , ordfr and onfr from iset.mm
Remove ordwe , ordfr and onfr from iset.mm

Unless/until we bring back well-ordering and well-foundedness,
these don't make any sense.

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