Heyting algebra
A complete Heyting algebra is a Heyting algebra that is a complete lattice.