Describir: Lattice theory