近傍系を与えることによる定義 今、 の各点 に対して、空でない の部分集合 が与えられていて、次の性質を満たすものとします。 全ての に対して . で ならば . ならば . 任意の に対して、次の条件を満たす が存在する : の任意の点 に対して . これらの性…