ブール領域 の直積の部分集合として、以下のものを考える。 これは、次の様に書くことが出来ない。 これを、ここでは「分離不可能」と言うことにする。一方で、次のようなものは分離可能である。 よって、部分集合を取れば何でもよい訳ではなく、 は特殊な状…