lattices in discrete mathematics pdf