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