ハイティング代数
Let "H" be a Heyting algebra, and let We call "F" a filter on "H" if it satisfies the following properties: