Search
❯
13 May 20261 min read
A bound lattice is a lattice (L,≤) with a global maximum ⊤ and global minimum ⊥.