für alle x aus H und Teilmengen Y von H. Nicht jede Heyting-Algebra erfüllt die beiden De Morganschen Gesetze. Allerdings sind folgende Aussagen in jeder Heyting-Algebra H äquivalent: Eine Heyting-Algebra H ist eine Boolesche Algebra genau dann, wenn eine der folgenden äquivalenten Bedingungen gilt: In jeder Heyting-Algebra sind das kleinste u...