False. Take the sets , and . Both intersections with are empty, although . Intersecting with loses information about membership outside .
False. Take the sets , and . Both unions with equal , although . Taking a union with conceals which of its elements belonged to the original set.
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 from
Substituting the two given equalities into this expression gives .
False. With the sets , and , both set differences are empty but . Removing loses the distinction between their memberships inside .

Articles by others on the same topic (0)

There are currently no matching articles.