Et lattice er i matematik en partielt ordnet mængde \(L\), hvor der for to vilkårlige elementer \(A\) og \(B\) i \(L\) findes et mindste element (betegnet \(A \lor B\)) større end \(A\) og \(B\) og et største element (betegnet \(A\land B\)) mindre end \(A\) og \(B\). Fx er mængden af alle delmængder af en given mængde \(M\) et lattice, når delmængderne ordnes ved mængdeteoretisk inklusion: \(A\lor B\) vil være foreningsmængden af \(A\) og \(B\), mens \(A\land B\) vil være deres fællesmængde. Tilsvarende vil mængden af alle undergrupper i en given gruppe være et lattice, når de ordnes ved inklusion. Betegnelsen lattice skyldes, at Hassediagrammet for et lattice har et gitterformet udseende.