Add omega to iset.mm
Add omega to iset.mm

This is the smallest infinite ordinal. We adopt dfom3 because that
seems like the most straightforward way to define it.

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