순서론에서, 격자(格子, 영어: lattice)는 두 원소 부분집합의 상한(이음, 영어: join 조인[*])과 하한(만남, 영어: meet 미트[*])이 항상 존재하는 부분 순서 집합이다. 다시 말해, 임의의 a , b ∈ L {\displaystyle a,b\in L} 에 대해, l ≤ a , b ≤ u {\displaystyle l\leq a,b\leq u} 인 최소 원소 l {\displaystyle l} 과 최대 원소 u {\displaystyle u} 가 항상 존재하는 부분 순서 집합 ( L , ≤ ) {\displaystyle (L,\leq )} 이다.