Lattice
Backlinks
Bounded Lattice
Heyting Algebra