ハイティング代数
The system of all open sets of a given topological space ordered by inclusion is a complete Heyting algebra.