mir.pe (일반/어두운 화면)
최근 수정 시각 : 2024-12-15 09:09:56

격자(수학)



파일:나무위키+유도.png  
은(는) 여기로 연결됩니다.
격자 모양으로 배열된 점에 대한 내용은 격자점 문서
를
의 번 문단을
의 부분을
, 에 대한 내용은 문서
를
의 번 문단을
의 번 문단을
의 부분을
의 부분을
, 에 대한 내용은 문서
를
의 번 문단을
의 번 문단을
의 부분을
의 부분을
, 에 대한 내용은 문서
를
의 번 문단을
의 번 문단을
의 부분을
의 부분을
, 에 대한 내용은 문서
를
의 번 문단을
의 번 문단을
의 부분을
의 부분을
, 에 대한 내용은 문서
를
의 번 문단을
의 번 문단을
의 부분을
의 부분을
, 에 대한 내용은 문서
를
의 번 문단을
의 번 문단을
의 부분을
의 부분을
, 에 대한 내용은 문서
를
의 번 문단을
의 번 문단을
의 부분을
의 부분을
, 에 대한 내용은 문서
를
의 번 문단을
의 번 문단을
의 부분을
의 부분을
, 에 대한 내용은 문서
를
의 번 문단을
의 번 문단을
의 부분을
의 부분을
참고하십시오.
[[대수학|대수학
Algebra
]]
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px" 		이론
기본 대상 연산 · 항등식( 가비의 이 · 곱셈 공식( 통분 · 약분) · 인수분해) · 부등식( 절대부등식) · 방정식( /풀이 · 근( 무연근 · 허근 · 비에트의 정리( 근과 계수의 관계) · 제곱근( 이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술( 시계 산술)
수 체계 자연수( 소수) · 정수( 음수) · 유리수 · 실수( 무리수( 대수적 무리수 · 초월수) · 초실수) · 복소수( 허수) · 사원수 · 팔원수 · 대수적 수 · 벡터 공간
다루는 대상과 주요 토픽
대수적 구조
군(group) 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리
환(ring) 아이디얼
체(field) 갈루아 이론 · 분해체
대수 가환대수 · 리 대수 · 불 대수( 크로네커 델타)
마그마· 반군· 모노이드 자유 모노이드 · 가환 모노이드
선형대수학 벡터 · 행렬 · 텐서( 텐서곱) · 벡터 공간( 선형사상) · 가군(module) · 내적 공간( 그람-슈미트 과정 · 수반 연산자)
정리·추측
대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결
관련 하위 분야
범주론 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 토포스 이론 · 타입 이론
대수 위상수학 연속변형성 · 사슬 복합체 · 호몰로지 대수학( 호몰로지 · 코호몰로지) · mapping class group · 닐센-서스턴 분류
대수기하학 대수다양체 · 층 · 스킴 · 에탈 코호몰로지 · 모티브
대수적 정수론 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리
가환대수학 스펙트럼 정리
표현론 실베스터 행렬
기타 및 관련 문서
수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 }}}}}}}}}

이산수학
Discrete Mathematics
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px; word-break: keep-all" 		이론
<colbgcolor=#3CC> 기본 대상 수학기초론( 수리논리학 · 집합론) · 수열 · 조합 · 알고리즘 · 확률
다루는 대상과 주요 토픽
수열 등차수열( 뛰어 세기) · 등비수열 · 계차수열 · 조화수열 · 귀납적 정의( 점화식) · 급수 · 규칙과 대응 · 규칙 찾기 · 피보나치 수열 · 읽고 말하기 수열 · 생성함수
조합 경우의 수( /공식) · 순열( 완전 순열 · 염주 순열) · 치환 · 분할( 분할수) · 최단거리 · 제1종 스털링 수 · 제2종 스털링 수 · 카탈랑 수 · 벨 수 · 라흐 수 · 포함·배제의 원리 · 더블 카운팅 · 조합론
그래프 수형도(트리) · 인접행렬 · 마방진 · 마법진 · 한붓그리기( 해밀턴 회로) · 쾨니히스베르크 다리 건너기 문제
기타 P-NP 문제미해결 · 4색정리 · 이항정리( 파스칼의 삼각형) · 이산 푸리에 변환 · 비둘기 집의 원리 · 상트페테르부르크의 역설 · 투표의 역설 · 에르고딕 가설미해결 · 콜라츠 추측미해결 · 시행착오 ( 예상과 확인) · 불 논리 · 브라에스 역설
관련 문서 논리학 관련 정보 · 수학 관련 정보 · 컴퓨터 관련 정보 · 틀:수학기초론 · 틀:통계학 · 틀:이론 컴퓨터 과학 }}}}}}}}}


1. 개요2. 정의
2.1. 순서를 이용한 정의
2.1.1. 부분순서집합2.1.2. 상한과 하한2.1.3. 반격자와 격자
2.2. 대수학적 정의2.3. 두 정의 사이의 관계
3. 종류
3.1. 유계격자3.2. 여원을 가지는 격자3.3. 분배격자3.4. 전순서집합3.5. 불 격자

1. 개요

lattice / 格 子

격자 또는 속은 임의의 원소쌍의 상한과 하한이 존재하는 부분순서집합을 뜻한다. 격자는 크게 두 가지 방법으로 정의할 수 있으며, 둘 다 같은 대상을 나타낸다.

2. 정의

2.1. 순서를 이용한 정의

2.1.1. 부분순서집합

집합 [math(A)]에 대해 다음 조건을 만족하는 이항관계 [math({\preceq}\bigl(\subseteq A^2\bigr))]를 부분순서[partial order]라고 한다.
부분순서는 어떤 두 원소 사이에 순서 관계가 있음을 나타내지만, 꼭 모든 원소 사이에 순서 관계가 있을 필요는 없다. 예를 들어, 집합의 부분집합 관계 [math(\subseteq)]를 생각하자. 이 관계는 다음과 같이 반사성, 비대칭성, 추이성을 모두 만족하므로 부분순서이다.
부분순서 [math({\preceq})]가 주어진 집합 [math(A)]를 부분순서집합\[partially ordered set, poset\]이라고 하고, [math((A,{\preceq}))]로 표기한다. 앞에서 [math({\subseteq})]가 부분순서임을 알았으므로 원소가 집합인 임의의 집합은 부분순서집합임을 알 수 있다. 다음 예시를 생각하자.
집합이 아닌 원소를 가지는 격자의 예시로는 다음이 있다.
집합 [math(A)]에 대해 다음 조건을 만족하는 이항관계 [math({\prec}\bigl(\subseteq A^2\bigr))]를 순부분순서[strict partial order]라고 한다.
순부분순서의 예시로는 진부분집합 관계 [math({\subset})]가 있다. 사실 임의의 부분순서에 대해, 부분순서에서 반사적인 원소만 빼는 방식으로 순부분순서를 자연스럽게 정의할 수 있다. 예를 들어 앞의 [math((P_2,{\subseteq}))]에서 순부분순서 [math({\subset})]를 [math({\subset} = \{(\{2\},\{1,2\}),(\{2\},\{2,3\}),(\{2\},\{2,3,4\}),(\{2,3\},\{2,3,4\})\})]라고 정의할 수 있다. 이제부터는 임의의 부분순서집합 [math((A,{\preceq}))]에 대해, 부분순서 [math({\preceq})]와 순부분순서 [math({\prec})], 그리고 이의 역관계 [math({\succeq})]와 [math({\succ})]를 자연스럽게 정의해 사용하기로 한다. 주의해야 할 것은, [math({\npreceq})]와 [math({\succ})]가 같을 이유가 없고, [math({\nprec})]와 [math({\succeq})]가 같을 이유가 없다는 점이다.

2.1.2. 상한과 하한

부분순서집합 [math((A,{\preceq}))]의 임의의 원소 [math(a)]에 대해 [math(g \nprec a)]를 만족하는 원소 [math(g(\in A))]를 [math(A)]의 극대원소\[maximal element\]라고 한다. 또, 임의의 원소 [math(a(\in A))]에 대해 [math(m \nsucc a)]를 만족하는 원소 [math(m(\in A))]을 [math(A)]의 극소원소\[minimal element\]라고 한다. 부분순서집합에서 극대원소와 극소원소는 하나만 존재할 수도, 여러 개가 존재할 수도, 존재하지 않을 수도 있다. 예를 들어, 앞의 [math((P_1,{\subseteq}))]의 경우, 극대원소로는 [math(\{1,2,3\})]이 유일하게 존재하고, 극소원소로는 [math(\{1\},\{2\})]가 존재한다. [math((P_2,{\subseteq}))]의 경우에는 극대원소로는 [math(\{1,2\},\{2,3,4\})]가 존재하고, 극소원소로는 [math(\{2\})]가 유일하게 존재한다. 또, [math((Q_1,{\le}))]의 경우에는 극대원소와 극소원소로 각각 [math(\pi)], [math(1)]이 유일하게 존재하지만, [math((Q_2,{\le}))]의 경우에는 극대원소와 극소원소 모두 존재하지 않는다.

부분순서집합 [math((A,{\preceq}))]의 임의의 원소 [math(a)]에 대해 [math(g \succeq a)]를 만족하는 원소 [math(g(\in A))]를 [math(A)]의 최대원소\[greatest element\]라고 한다. 또, 임의의 원소 [math(a(\in A))]에 대해 [math(m \preceq a)]를 만족하는 원소 [math(m(\in A))]을 [math(A)]의 최소원소\[least element\]라고 한다. 부분순서집합에서 최대원소와 최소원소는 존재하지 않을 수도 있지만, 존재한다면 유일하다. 예를 들어, [math((P,{\subseteq}))]의 경우 최대원소로는 [math(\{1,2,3\})]이 유일하게 존재하지만 최소원소는 존재하지 않는다. [math((P_2,{\subseteq}))]에서는 반대로 최대원소는 존재하지 않지만 최소원소로는 [math(\{2\})]가 유일하게 존재한다. [math((Q_1,{\le}))]에서는 최대원소와 최소원소로 각각 [math(\pi)], [math(1)]이 유일하게 존재한다.

부분순서집합 [math((A,{\preceq}))]의 부분집합 [math(B)]를 생각하자. 임의의 원소 [math(b(\in B))]에 대해 [math(g \succeq b)]를 만족하는 원소 [math(g(\in A))]를 [math(B)]의 상계\[upper bound\]라고 한다. 또, 임의의 원소 [math(b(\in B))]에 대해 [math(m \preceq b)]를 만족하는 원소 [math(m(\in A))]을 [math(B)]의 하계\[lower bound\]라고 한다. 상계와 하계는 굳이 [math(B)]의 원소일 필요가 없으며, 하나만 존재할 수도, 여러 개가 존재할 수도, 존재하지 않을 수도 있다. 예를 들어, [math((P_1,{\subseteq}))]의 부분집합 [math(\{\{1\},\{2\}\})]의 경우 상계로 [math(\{1,2\},\{1,2,3\})]이 존재하지만 하계는 존재하지 않는다. [math((P_2,{\subseteq}))]의 부분집합 [math(\{\{1,2\},\{2,3\}\})]의 경우 상계는 존재하지 않지만 하계로는 [math(\{2\})]가 유일하게 존재한다.

부분순서집합 [math((A,{\preceq}))]와 부분집합 [math(B)]에 대해, [math(B)]의 상계 중 최소인 원소를 [math(B)]의 상한\[supremum\] 또는 최소상계\[least upper bound\]라고 하고, [math(B)]의 하한 중 최대인 원소를 [math(B)]의 하한\[infimum\] 또는 최대하계\[greatest lower bound\]라고 한다. 상한과 하한은 존재하지 않을 수도 있지만, 존재하다면 유일하다. 예를 들어, [math((P_1,{\subseteq}))]의 부분집합 [math(\{\{1\},\{2\}\})]의 경우 상한으로 [math(\{1,2\})]가 유일하게 존재하지만 하계는 존재하지 않는다.

2.1.3. 반격자와 격자

이제 격자를 정의하자. 임의의 원소쌍의 상한이 존재하는 부분순서집합을 이음반격자\[join-semilattice\]라고 한다. 상한은 존재하면 유일하므로 이음반격자의 임의의 원소쌍의 상한은 유일하게 존재한다. 예를 들어, [math((P_1,{\subseteq}))]은 임의의 원소쌍의 상한이 존재하므로 이음반격자이지만, [math((P_2,{\subseteq}))]는 원소쌍 [math(\{\{1,2\},\{2,3\}\})]의 상한이 존재하지 않으므로 이음반격자가 아니다. 임의의 원소쌍의 하한이 존재하는 부분순서집합을 만남반격자\[meet-semilattice\]라고 한다. 하한은 존재하면 유일하므로 이음반격자의 임의의 원소쌍의 하한은 유일하게 존재한다. 예를 들어, [math((P_1,{\subseteq}))]은 원소쌍 [math(\{\{1\},\{2\}\})]의 하한이 존재하지 않으므로 만남반격자가 아니지만, [math((P_2,{\subseteq}))]는 임의의 원소쌍의 하한이 존재하므로 만남반격자이다. 이음반격자와 만남반격자를 통틀어 반격자\[semilattice\]라고 한다.

이음반격자이면서 만남반격자인 부분순서집합, 즉, 임의의 원소쌍의 상한과 하한이 존재하는 부분순서집합을 격자\[lattice\]라고 한다. [math((Q_1,{\le}))]과 [math((Q_2,{\le}))]는 이음반격자이면서 만남반격자이므로 격자이다.

다음은 순서를 이용해 정의한 격자의 예시이다.

2.2. 대수학적 정의

이번에는 대수학적으로 격자를 정의한다. 다음 조건을 만족하는 연산 [math({\land}:S^2 \rightarrow S)]을 가지는 집합 [math(S)]를 반격자\[semilattice\]라고 하고, [math((S,{\land}))]로 표기한다.
다음 조건을 만족하는 연산 [math({\lor}:L^2 \rightarrow L)]과 [math({\land}:L^2 \rightarrow L)]을 가지는 집합 [math(L)]을 격자\[lattice\]라고 하고, [math((L,{\lor},{\land}))]로 표기한다. 이때 [math({\lor})]을 이음 연산, [math({\land})]을 만남 연산이라고 한다.
다음은 대수학적으로 정의한 격자의 예시이다.

2.3. 두 정의 사이의 관계

이제 두 정의가 같음을 보인다. 먼저 순서를 이용해 정의한 격자 [math((A,{\preceq}))]를 생각하자. [math(A)] 위의 이항연산 [math({\lor}:A^2 \rightarrow A)]과 [math({\land}:A^2 \rightarrow A)]을 각각 원소쌍의 상한과 하한으로 정의한다. 즉, 임의의 원소 [math(a,b(\in A))]에 대해 [math(a \lor b)]와 [math(a \land b)]는 각각 [math(\{a,b\})]의 상한과 하한을 나타낸다. 격자의 정의에서 원소쌍의 상한과 하한이 유일하게 존재하므로 두 연산이 잘 정의됨을 알 수 있다. 이제 이 두 연산이 대수학적 정의를 만족함을 보이자. 따라서 순서를 이용해 정의한 격자가 격자의 대수학적 정의를 만족함을 알 수 있다.

이번에는 대수학적으로 정의한 격자 [math((L,{\lor},{\land}))]을 생각하자. [math(L)] 위의 이항관계 [math({\preceq}\bigl(\subseteq L^2\bigr))]를 [math({\preceq} = \bigl\{(a,b) \in L^2 \bigm| a \lor b = b\bigr\})]이라고 정의한다. 먼저 이 관계가 부분순서임을 보이자. 따라서 [math({\preceq})]가 부분순서이고 [math((L,{\preceq}))]이 부분순서집합임을 알 수 있다. 이제 [math(L)]의 임의의 원소쌍 [math(\{a,b\})]의 상한과 하한이 존재함을 보이자.

[math(a \lor (a \lor b) = (a \lor a) \lor b = a \lor b)]에서 [math(a \preceq a \lor b)]이고, [math(b \lor (a \lor b) = (a \lor b) \lor b = a \lor (b \lor b) = a \lor b)]에서 [math(b \preceq a \lor b)]이므로, [math(a \lor b)]는 [math(\{a,b\})]의 상계이다. 또, [math(\{a,b\})]의 임의의 상계 [math(g(\in L))]에 대해, [math(a \lor g = g)], [math(b \lor g = g)]에서 [math((a \lor b) \lor g = a \lor (b \lor g) = a \lor g = g)]이므로 [math(a \lor b \preceq g)]이다. 따라서 [math(a \lor b)]는 [math(\{a,b\})]의 상한이다. 같은 방식으로 [math(a \land b)]가 [math(\{a,b\})]의 하한임도 보일 수 있다.[9]

따라서 대수학적으로 정의한 격자가 순서를 이용한 격자의 정의를 만족함을 알 수 있고, 두 정의가 같은 대상을 나타냄을 알 수 있다. 두 정의 문단에서 보인 격자 예시는 순서대로 같은 격자를 나타낸다. 즉, [math((\R,{\le}) = (\R,\max,\min))]이고, [math((\mathcal P(A),{\subseteq}) = (\mathcal P(A),{\cup},{\cap}))], [math((\Z^+,|) = (\Z^+,\mathrm{lcm},\gcd))]이다. 일반적으로 순서를 이용해 정의한 격자에서는 이음 연산과 만남 연산을 각각 원소쌍의 상한과 하한으로 자연스럽게 정의할 수 있고, 대수학적으로 정의한 격자에서는 부분순서를 [math(a \preceq b \Leftrightarrow a \lor b = b \Leftrightarrow a \land b = a)]이라고 자연스럽게 정의할 수 있다.

3. 종류

3.1. 유계격자

최대원소와 최소원소가 존재하는 격자를 유계격자\[bounded lattice\]라고 한다. 예를 들어, 격자 [math((\mathcal P(\{1,2,3\}),\subseteq))]은 최대원소 [math(\{1,2,3\})]과 최소원소 [math(\varnothing)]을 가지고, 격자 [math(([0,1],\le))]은 최대원소 [math(1)]과 최소원소 [math(0)]을 가지므로 모두 유계격자이지만, 격자 [math((\R,\le))]는 최대원소와 최소원소 모두 존재하지 않으므로 유계격자가 아니다. 일반적으로 최대원소는 [math(1)], 최소원소는 [math(0)]으로 표기한다.

3.2. 여원을 가지는 격자

유계격자 [math((A,\preceq))]의 어떤 원소 [math(a)]에 대해, [math(a \lor b = 1)]과 [math(a \land b = 0)]을 만족하는 원소 [math(b(\in A))]를 [math(a)]의 여원\[complement\]이라고 한다. 예를 들어, [math(0)]의 여원은 [math(1)]뿐이고, [math(1)]의 여원은 [math(0)]뿐이다. 여원은 원소에 따라 하나만 존재할 수도, 여러 개가 존재할 수도, 존재하지 않을 수도 있다. 모든 원소가 여원을 가지는 유계격자를 여원을 가지는 격자\[complemented lattice\]라고 한다. 예를 들어, 유계격자 [math((\mathcal P(\{1,2,3\}),\subseteq))]은 임의의 원소 [math(a(\subseteq \{1,2,3\}))]에 대해 여원 [math(\{1,2,3\} \setminus a(\subseteq \{1,2,3\}))]를 가지므로 여원을 가지는 격자이다. 하지만, 유계격자 [math(([0,1],\le))]은 원소 [math(\dfrac{1}{2})]의 여원이 존재하지 않으므로 여원을 가지는 격자가 아니다.

3.3. 분배격자

이음 연산 [math(\lor)]과 만남 연산 [math(\land)]이 다음 조건을 만족하는 격자 [math((L,\lor,\land))]을 분배격자\[distributive lattice\]라고 한다.
예를 들어, 격자 [math((\{\varnothing,\{1\},\{2\},\{3\},\{1,2,3\}\},\subseteq))]은 [math(\{1\} \land (\{2\} \lor \{3\}) = \{1\} \land \{1,2,3\} = \{1\})]이지만 [math((\{1\} \land \{2\}) \lor (\{1\} \land \{3\})= \varnothing \lor \varnothing = \varnothing)]이므로 분배격자가 아니다. 하지만, 격자 [math((\R,\le))]는 이음 연산 [math(\max)]와 만남 연산 [math(\min)] 사이의 분배법칙이 성립하므로 분배격자이다.

3.4. 전순서집합

집합 [math(A)]에 대해 다음 조건을 만족하는 이항관계 [math({\preceq}\bigl(\subseteq A^2\bigr))]를 전순서[total order]라고 한다.
전순서는 임의의 두 원소 사이에 순서 관계가 있음을 나타낸다. 전순서가 주어진 집합을 전순서집합\[totally ordered set\]이라고 한다.

집합 [math(A)]에 대해 다음 조건을 만족하는 이항관계 [math({\prec}\bigl(\subseteq A^2\bigr))]를 순전순서\[strict total order\]라고 한다.
순전순서는 순부분순서와 비슷하게 전순서에서 반사적인 원소만 빼는 방식으로 자연스럽게 정의할 수 있다.

전순서는 부분순서이므로 전순서 [math({\preceq})]가 주어진 집합 [math(A)]를 부분순서집합 [math((A,{\preceq}))]로 생각할 수 있다. 이제 이 전순서집합이 격자임을 보이자. 임의의 원소 [math(a,b(\in A))]에 대해 일반성을 잃지 않고 [math(a \preceq b)]라고 가정하자. [math(b \succeq a)], [math(b \succeq b)]에서 [math(b)]는 [math(\{a,b\})]의 상계이고, [math(\{a,b\})]의 임의의 상계 [math(g(\in A))]에 대해 [math(b \preceq g)]이므로 [math(b)]는 [math(\{a,b\})]의 상한이다. 같은 방식으로 [math(a)]가 [math(\{a,b\})]의 하한임도 보일 수 있다. 따라서 [math((A,{\preceq}))]는 격자이다.

추가적으로 [math((A,{\preceq}))]의 이음 연산과 만남 연산이 분배법칙을 만족함을 보일 수 있다. 임의의 원소 [math(a,b,c(\in A))]에 대해, 가능한 순서 관계는 [math(a \preceq b \preceq c)], [math(a \preceq c \preceq b)], [math(b \preceq a \preceq c)], [math(b \preceq c \preceq a)], [math(c \preceq a \preceq b)], [math(c \preceq b \preceq a)]의 6가지뿐이다. [math(a \preceq b \preceq c)]인 경우, [math(a \land (b \lor c) = a \land c = a)], [math((a \land b) \lor (a \land c) = a \lor a = a)]에서 [math(a \land (b \lor c) = (a \land b) \lor (a \land c))]이다. 같은 방식으로 나머지 5가지 경우에 대해서 분배법칙이 성립함도 보일 수 있다. 따라서 이음 연산과 만남 연산이 분배법칙을 만족하므로 [math((A,{\preceq}))]는 분배격자이다.

3.5. 불 격자

여원을 가지는 격자이면서 분배격자인 격자를 불 격자\[Boolean lattice\] 또는 불 대수\[Boolean algebra\]라고 한다. 불 격자는 임의의 원소의 여원이 유일하게 존재한다는 성질이 있다. 불 격자 [math((A,{\preceq}))]의 어떤 원소 [math(a)]가 서로 다른 여원 [math(b,c(\in A))]를 가진다고 가정하자. 그러면 [math(b = b \land 1 = b \land (a \lor c) = (b \land a) \lor (b \land c) = 0 \lor (b \land c) = (a \land c) \lor (b \land c) = (a \lor b) \land c = 1 \land c = c)]에서 모순이 발생한다. 따라서 불 격자의 임의의 원소는 각각 유일한 여원을 가진다. 그래서 추가로 여원 연산 [math(\lnot)]을 정의할 수 있다.

임의의 유한 불 격자는 어떤 유한집합의 멱집합과 부분순서 [math({\subseteq})]로 구성된 격자와 동형이다. 유한멱집합의 원소의 개수는 [math(2)]의 거듭제곱수이므로 유한 불 격자의 원소의 개수도 [math(2)]의 거듭제곱수이다. 원소의 개수가 가장 작은 불 격자는 원소의 개수가 [math(1\bigl(= 2^0\bigr))]인 불 격자이다. 이를 자명한 불 격자라고 하며, 여기서는 [math(0 = 1)]이 성립한다.

자명하지 않은 불 격자 중 원소의 개수가 최소인 격자는, 보통 불 대수라고 하면 떠올리는, 원소의 개수가 [math(2bigl(= 2^1bigr))]인 불 격자이다. [math(0)]은 거짓, [math(1)]은 참, [math({\lor})]은 논리합 연산, [math({\land})]은 논리곱 연산, [math(\lnot)]은 부정 연산이라고 생각하면 알고 있는 대로 모두 잘 작동함을 알 수 있다.
[1] [math({\subseteq} = \{(\{1\},\{1\}),(\{1\},\{1,2\}),(\{1\},\{1,2,3\}),\dots,(\{1,2,3\},\{1,2,3\})\})] [2] [math({\subseteq} = \{(\{2\},\{2\}),(\{2\},\{1,2\}),(\{2\},\{2,3\}),\dots,(\{2,3,4\},\{2,3,4\})\})] [3] [math({\le} = \{(1,1),(1,e),(1,\pi),\dots,(\pi,\pi)\})] [4] 여기서 소괄호는 열린 구간을 뜻한다. [5] [math({\le} = \bigl\{(a,b) \in (-1,1)^2 \bigm| -1 < a \le b < 1\bigr\})] [6] 비대칭성은 비반사성과 추이성에서 유도할 수 있으므로 조건에서 빼기도 한다. 여기서는 부분순서와의 비교를 위해 명시했다. [7] [math(m \mathbin| n)]은 [math(n)]이 [math(m)]으로 나누어떨어짐을 나타낸다. 예를 들어, [math(2 \mathbin| 4)]이다. [8] 멱등법칙은 흡수법칙에서 유도할 수 있으므로 조건에서 빼기도 한다. 여기서는 반격자와의 비교를 위해 명시했다. [9] 참고로 [math(a \lor b = b)]이면 [math(a \land b = a \land (a \lor b) = a)]이고, [math(a \land b = a)]이면 [math(a \lor b = (a \land b) \lor b = b \lor (a \land b) = b \lor (b \land a) = b)]이다. 즉, [math(a \lor b = b \Leftrightarrow a \land b = a)]이다. [10] 이것만 만족하면 임의의 원소 [math(a,b,c(\in L))]에 대해 [math(a \lor (b \land c) = (a \lor b) \land (a \lor c))]이기도 하다. [11] 비대칭성은 비반사성과 추이성에서 유도할 수 있으므로 조건에서 빼기도 한다. 여기서는 전순서와의 비교를 위해 명시했다.

분류