ハイティング代数
For the same reason, the lattice of equivalence classes of graphs under homomorphisms is in fact a Heyting algebra.