완비 부분 순서
- 이항 관계
- 순서 구조
완비 부분 순서(complete partial order)는 다음을 말한다.
Directed-complete partial order (DCPO)
DCPO는 모든 방향 이음(directed join)이 존재하는 부분 순서 집합을 의미한다.
Pointed DCPO
Pointed DCPO는 최소 원소 \(\bot\)을 포함하는 DCPO를 의미한다.
완비 부분 순서(complete partial order)는 다음을 말한다.
DCPO는 모든 방향 이음(directed join)이 존재하는 부분 순서 집합을 의미한다.
Pointed DCPO는 최소 원소 \(\bot\)을 포함하는 DCPO를 의미한다.