"완비 격자"의 두 판 사이의 차이

크기가 바뀐 것이 없음 ,  5년 전
== 정의 ==
[[부분 순서 집합]] <math>(L,\le)</math>가 다음 두 조건을 만족시킨다면, '''완비 격자'''라고 한다.
* 모든 부분 집합 <math>S\subseteq L</math>의 [[하한]]이 존재한다. 이를 <math>\bigveebigwedge S</math>라고 쓰고, 부분 집합의 '''이음'''({{llang|en|join}})이라고 한다.
* 모든 부분 집합 <math>S\subseteq L</math>의 [[상한]]이 존재한다. 이를 <math>\bigwedgebigvee S</math>라고 쓰고, 부분 집합의 '''만남'''({{llang|en|meet}})이라고 한다.
 
'''완비 격자 사상'''({{llang|en|complete lattice morphism}})은 모든 이음과 만남을 보존하는 함수이다.