ハイティング代数
完備ハイティング代数"F" が空間的であるとは、以下の性質を満たす事を言う：