Heyting algebra
Heyting algebra (structure)