ハイティング代数
最後に、完備ハイティング代数が「空間的」である事の定義を述べる。