有向集合 定義 二項関係 の定義された集合 が 有向集合 (directed set) とは， 次の3条件がなりたつこと： (1) (2) ならば， (3) に対し， があって 例 位相空間 の点 の近傍系 は，包含関係 に関し有向集合． 共終 定義 有向集合 の部分集合 が 共終 (cofin…

3.8 整数，有理数，カントールの実数論．