コンパクト化
ストーン・チェックのコンパクト化は以下の性質を満たす事が知られている。 なお、この性質を満たすコンパクト化は同値を除いてストーン・チェックのコンパクト化に限る事が知られているので、この性質はストーン・チェックのコンパクト化を特徴づける。