5.2.3.5 系 (,+,×,≦)




 自然数の系は,順序関係≦に関して,順序構造を伴う数の系になる。

 これの標準的位相(即ち,順序位相)は,離散である。