Formal Definition
A Heyting algebra is a bounded lattice such that for all and in there is a greatest element of such that
This element is the relative pseudo-complement of with respect to, and is denoted . We write 1 and 0 for the largest and the smallest element of, respectively.
In any Heyting algebra, one defines the pseudo-complement of any element by setting . By definition, and is the largest element having this property. However, it is not in general true that, thus is only a pseudo-complement, not a true complement, as would be the case in a Boolean algebra.
A complete Heyting algebra is a Heyting algebra that is a complete lattice.
A subalgebra of a Heyting algebra is a subset of containing 0 and 1 and closed under the operations and . It follows that it is also closed under . A subalgebra is made into a Heyting algebra by the induced operations.
Read more about this topic: Heyting Algebra
Famous quotes containing the words formal and/or definition:
“True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....”
—Marcel Proust (1871–1922)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)