Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2016/discrete-mathematics-continuous-mathematics-and-probability/1/a/iii/solution

Complements are relative to the same universal set . Suppose and . Then and . If belonged to , the assumed set inclusion would imply , a contradiction. Thus and , proving
There is only one set inclusion in this conclusion; a reverse inclusion is neither needed nor generally true. The request for double inclusion applies to the equalities in (i) and (ii).

New to topics? Read the docs here!