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:
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)