結局さぁ

> lim[誤差→0](辞書式順序)=(実数体順序)

って事でしょ