Heyting algebra
For any Heyting algebra "H", the following conditions are equivalent: