ハイティング代数
By a similar argument, the following infinite distributive law holds in any complete Heyting algebra: