lattice-based data structures