
Definition of Heyting algebra
1. Noun. A bounded lattice equipped with a binary operation ''a''?''b'' of implication such that (''a''?''b'')?''a'' ? ''b'', and moreover ''a''?''b'' is the greatest such in the sense that if ''c''?''a'' ? ''b'' then ''c'' ? ''a''?''b''. ¹
¹ Source: wiktionary.com
Heyting Algebra Pictures
Click the following link to bring up a new window with an automated collection of images related to the term: Heyting Algebra Images