격자 (순서론)

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