3 数形式
3.0 イントロ
3.1 “数の系”
3.2 順序構造を伴う数の系
3.3 順序構造を伴う数の系の位相
3.3.0 イントロ
3.3.1 順序位相
3.3.2 算法の連続性