- #1
Master0fN0thing
- 4
- 0
Homework Statement
Give an element-wise proof for the following: If A⊆B and B⊆C', then A ∩ C = ∅
Homework Equations
A is a subset of B (written A ⊆ B) if every element in the set A is also an element in the set B. Formally, this means that fore every x, if x ∈ A, then x ∈ B.
A ∩ B = { x ∈ U : x ∈ A and x ∈ B }.
A set that contains no elements is called an empty set, and is denoted by { } or ∅.
A is equal to B (simply written A = B) means that A and B have exactly the same members. This is expressed formally by saying, “A ⊆ B and B ⊆ A.”
The Attempt at a Solution
Because there is an equal sign in the "then" statement, I know I have to show two case if each side being a subset of the other. So here is what I have so far...
Proof:
Let U be the universe that contain the sets A, B, and C. Let A and B be subsets of U such that A ⊆ B and let B and C' be subsets such that B ⊆ C'.
Case 1:
We will show that A ∩ C = ∅. Let x ∈ A ∩ C. Then x∈U, x∈A, and x∈C. Since x∈A, it follows that x∈B by our hypothesis. Also by our hypothesis, since x∈B, x∈C'. Since x∈C, and x∈C', ...
and this is where I'm getting lost. How do I go proving from here its the empty set? At this point isn't this saying that x is every element? Or am I thinking about this totally wrong?