これはωを順序型とする整列順序である.
ω