[강지훈]

교재 52쪽의 CPO(complete partial order)의 정의는

"집합의 원소들 간에 어떤 순서가 있고, 모든 원소보다 아래에 있는 밑바닥 원소가 항상 있고, 그 순서를 가지고 일렬로 줄을 세울 수 있는 원소들이 있다면 그 줄에 있는 모든 원소들보다 위에 있으면서 가장 작은 원소를 항상 가지고 있는 집합이다."
(괄호 내에 들어있는 본문 생략)

라고 되어 있는데,

53쪽에 eg. 19의 Z cap {bound} 가 CPO임을 증명할 때
"모든 체인은 유한한 길이를 가지고 있으면 ........"
라고 합니다.
분명 무한 chain도 개념적으로 존재 가능하기에, 그리고 Z sub Z cap {bound} 가 그러한 무한 chain의 한 예일텐데, 교재 52쪽과 53쪽사이에 모순이 있다고 생각합니다.

PS. 의도적으로 수업에서, 그리고 선생님께서 무한집합의 여러가지 성질들을 무시하고 있으신 것 같습니다. 하지만 우리가 무한집합을 다루는 경우가 많으므로 이에 대한 정확한 언급이 필요한 것 같습니다.
_________________
강지훈
프로그래밍의 원리 조교

Jeehoon Kang
TA, Principles of Programming