ハイティング代数
一点集合を任意に固定し、これを1と表記する。さらに1の唯一の元を"e" とし、1 に離散位相を入れる。すると1 上の開集合全体の集合formula_5は2元のみからなるハイティング代数になる。以下このハイティング代数Ω(1 )の事を「2」と表記する。formula_6はハイティング代数2の最小元なので、以下formula_6の事を0とも表記する。