olemus
tõkestatud võre, kus
lisaks üla- ja alaraja operatsioonidele sup ja inf
on defineeritud ka binaartehe "→":
mis tahes elementide a, b ja c korral
inf (c, a) ≤ b parajasti siis, kui c ≤ a → b
=
a bounded, distributive lattice
with a binary implication operation "→"

näiteid
(i) iga Boole'i algebra on ühtlasi Heytingi algebra,
kui defineerida a → b tehtena sup(¬a, b),
kus ¬a on elemendi a täiend
(ii) iga Heytingi algebra, kus kehtib
välistatud kolmanda seadus või topelteituse seadus,
on Boole'i algebra

ülevaateid
https://en.wikipedia.org/wiki/Heyting_algebra

https://en.wikipedia.org/wiki/Complete_Heyting_algebra

http://homes.dsi.unimi.it/~ghilardi/allegati/dispcesena.pdf