Skip to content
Miscellaneous Exercise · Q2

Q.In each of the following, determine whether the statement is true or false. If it is true, prove it. If it is false, give an example.

(i) If x ∈ A and A ∈ B , then x ∈ B
(ii) If A ⊂ B and B ∈ C , then A ∈ C
(iii) If A ⊂ B and B ⊂ C , then A ⊂ C
(iv) If A ⊄ B and B ⊄ C , then A ⊄ C
(v) If x ∈ A and A ⊄ B , then x ∈ B
(vi) If A ⊂ B and x ∉ B , then x ∉ A
CBSENCERTSubjective· 3mImportance★★★★★est
50% · 66/132 Questions
✓ Free question

The key idea is to distinguish set membership (∈\in) from subset (⊂\subset) — they are different relations. Only statement (iii) is true; the rest are false, with clear counterexamples.

Let’s unpack each statement one by one. The core confusion here is between “is an element of” (∈\in) and “is a subset of” (⊂\subset). An element is a member of a set; a subset is a set whose every element is also in another set. They are not interchangeable, and one does not imply the other.


(i) If x∈Ax \in A and A∈BA \in B, then x∈Bx \in B

False.

Here xx is an element of AA, and AA itself is an element of BB. But xx is not necessarily an element of BB — BB contains the set AA, not the individual elements of AA.

Counterexample:

Let A={1,2}A = \{1, 2\} and B={A}={{1,2}}B = \{A\} = \{\{1, 2\}\}.

Then 1∈A1 \in A and A∈BA \in B, but 1∉B1 \notin B (the only element of BB is the set {1,2}\{1,2\}, not the number 1).

Watch out

A common mistake: thinking that if a set is an element of another set, then its elements are also elements of the larger set. That is not true — membership is not transitive.


(ii) If A⊂BA \subset B and B∈CB \in C, then A∈CA \in C

False.

AA is a subset of BB, meaning every element of AA is in BB. But CC contains BB as an element — it does not automatically contain subsets of BB.

Counterexample:

Let A={1}A = \{1\}, B={1,2}B = \{1, 2\}, and C={B}={{1,2}}C = \{B\} = \{\{1, 2\}\}.

Then A⊂BA \subset B and B∈CB \in C, but A∉CA \notin C (the only element of CC is the set {1,2}\{1,2\}, not {1}\{1\}).

Tip

Think of CC as a box that contains the box BB. AA is a smaller box inside BB, but that doesn't put AA directly into CC — only BB is in CC.


(iii) If A⊂BA \subset B and B⊂CB \subset C, then A⊂CA \subset C

True.

This is the transitivity of the subset relation. If every element of AA is in BB, and every element of BB is in CC, then every element of AA is in CC.

Proof:

Take any x∈Ax \in A. Since A⊂BA \subset B, we have x∈Bx \in B. Since B⊂CB \subset C, we have x∈Cx \in C. Hence every element of AA is in CC, so A⊂CA \subset C.

The subset relation is transitive:

A⊂B and B⊂C  ⟹  A⊂CA \subset B \text{ and } B \subset C \implies A \subset C


(iv) If A⊄BA \not\subset B and B⊄CB \not\subset C, then A⊄CA \not\subset C

False.

Just because AA is not a subset of BB, and BB is not a subset of CC, it does not mean AA cannot be a subset of CC. The two conditions are independent.

Counterexample:

Let A={1}A = \{1\}, B={2}B = \{2\}, C={1,3}C = \{1, 3\}.

  • A⊄BA \not\subset B because 1∉B1 \notin B.
  • B⊄CB \not\subset C because 2∉C2 \notin C.
  • Yet A⊂CA \subset C because 1∈C1 \in C.
Watch out

Non-subset is not transitive. The failure of one relation does not force the failure of another.


(v) If x∈Ax \in A and A⊄BA \not\subset B, then x∈Bx \in B

False.

A⊄BA \not\subset B means there is at least one element of AA that is not in BB. But the statement claims that any element xx of AA must be in BB — that contradicts the meaning of A⊄BA \not\subset B.

Counterexample:

Let A={1,2}A = \{1, 2\}, B={1}B = \{1\}.

Then 2∈A2 \in A and A⊄BA \not\subset B (since 2∉B2 \notin B), but 2∉B2 \notin B.

Tip

A⊄BA \not\subset B only guarantees that some element of AA is missing from BB, not that all are. So picking an arbitrary xx from AA gives no guarantee.


(vi) If A⊂BA \subset B and x∉Bx \notin B, then x∉Ax \notin A

True.

This is the contrapositive of the definition of subset. If every element of AA is in BB, then anything outside BB cannot be in AA.

Proof:

Assume A⊂BA \subset B and x∉Bx \notin B. If xx were in AA, then by A⊂BA \subset B, xx would be in BB — contradiction. Hence x∉Ax \notin A.

This is logically equivalent to:

A⊂B  ⟺  (x∉B  ⟹  x∉A)A \subset B \iff (x \notin B \implies x \notin A)


✓Final answer

  1. False,
  2. False,
  3. True,
  4. False,
  5. False,
  6. True.

Unlock everything free for 14 days

  • Full step-by-step solutions
  • Concept-first explanations
  • Methods, shortcuts & mistakes
  • PYQ mapping + timed mock tests

Full access for 14 days. No credit card required.