[lhaeuk]

PowerSetDomain에서 TOP을 집합 A의 powerset 전체집합으로 생각하면

된다고 하셨는데요

그럼 TOP에서 element 하나를 제거할 때, 전체 집합을 생각하여 operation을

수행해야 하는건가요?

예를 들어 module P = PowerSetDomain(A) 에서 A = {0, 1} 이었다면

P.remove {0} P.top 을 하게 되면

{ 0(공집합), {0}, {1}, {0, 1}} - {{0}} 과 같이 생각하면 되는 것인지

궁금합니다.

[공순호]

[lhaeuk]

네, 감사합니다.