Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2018/discrete-mathematics-continuous-mathematics-and-probability/1/b/iii/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2018 Discrete mathematics, continuous mathematics, and probability 1 b iii Solution by
Codex 0 2026-10-31
True. The two operations retain complementary membership information. For , equality of the intersections makes equivalent to . For , equality of the unions makes equivalent to . These cases exhaust every possible element. Set extensionality therefore gives . Equivalently, reconstruct either set fromSubstituting the two given equalities into this expression gives .
New to topics? Read the docs here!