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

크기가 바뀐 것이 없음 ,  10개월 전
잔글
 
== 정의 ==
=== 순서론적 정의 ===
모든 [[부분 집합]] <math>S\subseteq L</math> [[상한]]을 갖는 [[원순서 집합]] <math>(L,\lesssim)</math>을 '''상완비 원반격자'''(上完備原半格子, {{llang|en|upper-complete presemilattice}})라고 한다. 마찬가지로, 모든 [[부분 집합]] <math>S\subseteq L</math> [[하한]]을 갖는 [[원순서 집합]] <math>(L,\lesssim)</math>을 '''하완비 원반격자'''(下完備原半格子, {{llang|en|lower-complete presemilattice}})라고 한다. 두 상/하완비 원반격자 사이의 '''상/하완비 원반격자 사상'''({{llang|en|upper/lower-complete presemilattice morphism}})은 이러한 상한/하한들을 보존하는 함수이다.
 
[[원순서 집합]] <math>(L,\lesssim)</math>에 대하여 다음 두 조건이 서로 [[동치]]이며, 이 조건을 만족시키는 원순서 집합 <math>L</math>을 '''완비 원격자'''(完備原格子, {{llang|en|complete prelattice}})라고 한다.