Lattice

In this file, we will talk about lattices.