整数の集合は順序環である。

順序環の2つの負数の積は正数である。