Category:Definitions/Heyting Algebras

This category contains definitions related to Heyting Algebras.
Related results can be found in Category:Heyting Algebras.

Let $\struct {L, \wedge, \vee, \preceq}$ be a lattice.

Then $\struct {L, \wedge, \vee, \preceq}$ is a Heyting algebra if and only if:

$(1): \quad \struct {L, \wedge, \vee, \preceq}$ is a Brouwerian lattice

$(2): \quad L$ has a smallest element.