ハイティング代数
Hyeting algebra
/mrsekut-book-4007305803/038
半順序
$ R
による
束
$ \mathbb{H}
がハイティング代数であるとは、以下の条件を満たすことである
$ \mathbb{H}
は最小の要素
$ \bot
を持つ
任意の要素
$ a,b
に対して、
$ (a\land x)Rb
を満たす最大の
$ x
が存在する
https://ncatlab.org/nlab/show/Heyting+algebra
https://mizunashi-mana.github.io/blog/posts/2020/10/heyting-algebra-properties/