Understanding Subset Relations in Set Theory

AI Thread Summary
The discussion centers on proving that if A is a subset of B, then the expression Bc \ C is a subset of Ac \ C holds true for any set C. The definition of a subset is clarified, emphasizing that all elements of A are also in B. The complement of a set is defined, with A \ B representing elements in A that are not in B. An attempt to prove the statement using contraposition is mentioned, focusing on the relationship between elements not in A^c \setminus C and those not in B^c \setminus C. The conversation highlights the complexities of subset relations in set theory.
bernvall
Messages
18
Reaction score
0

Homework Statement



if A is a subset of B, then Bc \ C is a subset of Ac \ C for any set C

Homework Equations



A is a subset of B = for all elements in A are also elements in B

A\B = the complement of a set B in a set A
A\B= A and Bc

The Attempt at a Solution


I tried opening it up but i still couldn't find a solution
 
Physics news on Phys.org
Try to prove the contraposition: if x is not an element of A^c\setminus C, then x is not an element of B^c\setminus C.
 
Back
Top