정리에서 가정하는 조건이
O, A collection of open intervals whose union contain [a,b]인데
[a,b]를 포함하는 각각의 Open interval들의 union이란건가요?
아니면 Open interval들의 union이 [a,b]를 포함한다는건가요??