ストーン双対性の定式化には単なる完備ハイティング代数ではなく空間的(spatial)な完備ハイティング代数を用いるが、「空間的」という単語の定義を説明するには準備が必要な為、後の章にまわす。