W języku algebr ogólnych algebra Heytinga jest strukturą z trzema działaniami dwuargumentowymi z w w której jest kratą dystrybutywną z elementami z uporządkowaniem zdefiniowanym w terminach pierwotnych przez warunek a działanie spełnia warunek (H). Ponadto dla dowolnych elementów nierówność zachodzi wtedy i tylko wtedy, gdy
Algebry Heytinga tworzą klasę algebr definiowalnych równościowo – ich system aksjomatów, w tym warunek (H), da się zapisać w postaci skończonej liczby aksjomatów mających postać równościAlgebry definiowalne równościowo omawiane są w książkach: H. Rasiowa, Wstęp do matematyki współczesnej, Warszawa, Państwowe Wydawnictwo Naukowe, 1973, s. 274–289, oraz Z. Semadeni, A. Wiweger, Wstęp do teorii kategorii i funktorów, wyd. 2, Państwowe Wydawnictwo Naukowe, Warszawa 1978, s. 227–230..
Własności algebr Heytinga W każdej algebrze Heytinga dla dowolnych oprócz warunku (H) spełnione są następujące warunkihttp://web.archive.org/web/20130519023435/http://boole.stanford.edu/cs353/handouts/book3.pdf:
Działanie dwuargumentowe spełnia następujące warunki:
W algebrach Heytinga prawdziwe jest tylko drugie prawo de Morgana w postaci równości pierwsze zaś prawo ma znacznie słabszą postać: