>>95
>いやいや 話は真逆だよ
いやいや、話は同じだよ

>m、n有限の自然数として
>Ａがm個の異なる点
>Ｂがn個の異なる点
>全体で m+n個の異なる点がある

これは
「ハウスドルフ空間Ｚ上の点の有限集合ＡとＢがある」
と同じ

>ハウスドルフ空間であれば
>有限個の異なる点を おのおのの開近傍で任意2点が分離できる
>さすれば
>Ａのm個の異なる点の組の開近傍の和集合と
>Ｂのn個の異なる点の組の開近傍の和集合とは
>開集合で分離されたということ
>（つまりは この二つの和集合の積集合はφ（空）ということ■）

これは
「ＡとＢを分離するＺ上の開集合」
が存在するというのと同じ