Algebra Heytinga jest algebrą Boole’a wtedy i tylko wtedy, gdy zachodzi w niej prawo podwójnej negacji a także wtedy i tylko wtedy, gdy zachodzi prawo wyłączonego środka
Każda algebra Boole’a (w szczególności każde ciało zbiorów) jest algebrą Heytinga z działaniem zdefiniowanym jako Jednakże równość nie jest na ogół spełniona w algebrach Heytinga, bowiem zawsze a może nie być równe 1.
Jeżeli jest kratą z największym elementem 1 i z uporządkowaniem całkowitym (zwanym również liniowym, tzn. jest zarazem łańcuchem, w którym każde dwa elementy są porównywalne), to staje się algebrą Heytinga, gdy określimy jako równe 1 w przypadku i jako w przypadku przeciwnym .
Algebra Heytinga zbiorów otwartych przestrzeni topologicznej
Tak jak typowym przykładem algebry Boole’a jest ciało podzbiorów dowolnego ustalonego zbioru wraz z częściowym porządkiem wyznaczonym przez relację inkluzji i z działaniami na zbiorach jako operacjami algebraicznymi, tak typowym przykładem algebry Heytinga jest krata wszystkich podzbiorów otwartych przestrzeni topologicznej (oznaczanej w tej algebrze symbolem ) ze zwykłymi działaniami oraz z działaniami zdefiniowanymi jako oraz dla