complete Heyting algebra
A Heyting algebra that is also a complete lattice is called a complete Heyting algebra. In the following, we give a lattice
characterization
of complete Heyting algebras without the relative pseudocomplementation operator .
Proposition 1.
Let be a complete Heyting algebra, then
for any , and
where , for any , and any subset of .
Proof.
We first prove the identity . For any , we have iff iff for all iff for all iff , hence .
Next, we show . For any , we have iff iff iff .∎
The converse of the above is also true.
Proposition 2.
Let be a complete lattice such that
where , for any , and any subset of . Then for any , defining
turns into a complete Heyting algebra.
Proof.
We want to show that iff for any : iff . So ∎
From this, one readily concludes that any finite distributive lattice is Heyting.
Remark. Since any complete lattice is bounded, a complete Brouwerian lattice is a complete Heyting algebra. A complete Heyting algebra is also called a frame.