Heyting algebra
完備ハイティング代数の事を枠 (frame)ともいう。空間的な枠(Spatial Frame)の圏SFrmは以下のように定義される。