PL
complete partial order(CPO)
- 완비 부분순서집합
- 완전 부분순서집합, 끝을 모두 가진 부분순서집합
댓글 2개
HL
Heewon Lee·완비 부분순서집합·10일 전
CPO의 "complete"는 실수의 완비성 공리(최소상계의 존재성)와 유사하게 기술된 공리를 만족함을 의미합니다. "실수의 완비성"이라는 표현은 두루두루 자리잡은 바, 이를 차용한 "완비 부분순서집합"을 제안합니다.
이
이광근/YiKwangkeun·완전 부분순서집합, 끝을 모두 가진 부분순서집합·2년 전
완전 부분순서집합, 끝을 모두 가진 부분순서집합을 제안합니다.