최대 원소와 최소 원소: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
잔글 →‎예
22번째 줄:
닫힌 단위 구간 <math>([0,1],\le)</math>은 최대 · 최소 원소를 가지지만, 열린 단위 구간 <math>((0,1),\le)</math>은 최대 원소나 최소 원소를 갖지 않는다.
 
[[완비 격자]]의 임의의 부분집합 <math>S</math>의 [[상계와 하계|상계]]의 집합은, 최소 원소가 존재하며, [[상계와 하계|하계]]의 집합은 최대 원소가 존재한다. 물론 각각 유일하다. 둘을 각각 <math>S</math>의 [[이음 (수학)|이음]]과 [[만남 (수학)|만남]]이라고 한다.
 
모든 [[불 대수]]나 [[헤이팅 대수]]는 최대 원소 및 최소 원소를 갖는다. 이들은 각각 고전 [[명제 논리]] 및 [[직관 논리]]의 참값과 대응하는데, 이 경우 최대 원소는 참인 명제, 최소 원소는 거짓인 명제에 대응한다.