What is a lattice in discrete mathematics