Definition
Consider a partially ordered set (P, ≤) that is a complete lattice. Then P is a complete Heyting algebra if any of the following equivalent conditions hold:
- P is a Heyting algebra, i.e. the operation ( x ∧ − ) has a right adjoint (also called the lower adjoint of a (monotone) Galois connection), for each element x of P.
- For all elements x of P and all subsets S of P, the following infinite distributivity law holds:
- P is a distributive lattice, i.e., for all x, y and z in P, we have
- and P is meet continuous, i.e. the meet operations ( x ∧ − ) are Scott continuous for all x in P.
Read more about this topic: Complete Heyting Algebra
Famous quotes containing the word definition:
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)