>>358
それだと、0に収束する2つの数列{an},{bn}に対して、どちらが高位の無限小なのか
比較できないことがある。一方、超実数体は全順序なので、任意の2つの無限小に対し、
どちらが高位の無限小なのか必ず比較できる。