I_{a, W} := { x ㅌ W | x < a }일 때,
임의의 정렬순서집합 (W, =<)이 다음을 만족하는 것은 아니죠?
(forall a ㅌ W) (union_{xㅌI_{a, W}} I_{x, W} = I_{a, W}) ... (*)
(*)의 반례 중 하나는 W = {0, 1}, a = 1, union_{xㅌI_{a, W}} I_{x, W} = {}, I_{a, W} = {0}이에요.

그런데 책에는 이렇게 나와있어요. 이거 책이 틀린 거에요?

- dc official App