abstract lattice