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

모든 [[부분 집합]] <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}})은 이러한 상한/하한들을 보존하는 함수이다.