部分集合の分離 (位相空間論)

部分集合の分離（ぶぶんしゅうがうのぶんり、）は、位相空間論において、位相空間 "X の部分集合 A, B" が互いに分離されている（ぶんり、）、つまり "A" の閉包 ' が "B" と互いに素であり、かつ "B" の閉包 ' が "A" と互いに素であることをいう（ただし、ここで言う「互いに素」は素集合の意味である）。
直観的には、「"A" と "B" は互いに重なっておらず、また接して（他方の境界に重なって）もいない。」という図形的な言い回しの位相構造による一般化である。