But this would lose important logical properties of the reals; for example, pointwise < is not a total ordering.
但是这会丢失实数的重要逻辑性质；比如逐点 < 不是全序。