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
Punjab PsebTextbookSubjective· 3mImportance★★★★★est
50% · 66/132 Questions
✓ Free question

Concept understanding — Set Membership

Set Membership

The idea in plain words

Every set is defined by exactly one question: "does this object belong to the set, or not?" That yes/no relationship between an object and a set is called membership. If an object is in the set, it is a member (or element) of the set; if it isn't, it simply is not.

A set is only "well-defined" if this question always has a clear answer for every possible object — that's what makes membership testable.


The notation

For a set AA and an object xx:

  • x∈Ax \in A reads "xx belongs to AA" or "xx is an element of AA" — TRUE membership.
  • x∉Ax \notin A reads "xx does not belong to AA" — FALSE membership.

Example. Let A={2,4,6,8}A = \{2, 4, 6, 8\}.

4∈A(4 is listed inside A)4 \in A \qquad \text{(4 is listed inside A)}

5∉A(5 is not listed inside A)5 \notin A \qquad \text{(5 is not listed inside A)}


Testing membership: roster form vs. set-builder form

Roster form — just look for the object in the list.

B={1,3,5,7},3∈B,4∉BB = \{1, 3, 5, 7\}, \quad 3 \in B, \quad 4 \notin B

Set-builder form — plug the candidate into the defining rule and check if it's satisfied.

C={x∣x is a prime number less than 10}C = \{x \mid x \text{ is a prime number less than } 10\}

Is 7∈C7 \in C? Check: is 7 prime and less than 10? Yes → 7∈C7 \in C.

Is 9∈C9 \in C? Check: 9 is less than 10 but not prime (9=3×39 = 3 \times 3) → 9∉C9 \notin C.


Properties every student must know

  1. Each element is either in or out — never "partly in." Membership is binary, not a matter of degree.
  2. Repetition doesn't affect membership. {1,1,2}={1,2}\{1, 1, 2\} = \{1, 2\} — asking "is 1 a member?" gives the same YES either way.
  3. Order never affects membership. 2∈{1,2,3}2 \in \{1, 2, 3\} is exactly the same fact as 2∈{3,2,1}2 \in \{3, 2, 1\}.
  4. Nothing belongs to the empty set. For any xx, x∉∅x \notin \emptyset — there is nothing inside to belong to.
  5. A set can be an element of another set. If D={1,{2,3}}D = \{1, \{2, 3\}\}, then 1∈D1 \in D is true, and {2,3}∈D\{2,3\} \in D is true, but 2∈D2 \in D is false — 2 is not directly listed in DD; it is only inside the set that is listed.

A common slip

Students often confuse x∈Ax \in A (membership: is the object present?) with B⊆AB \subseteq A (subset: is every element of BB also in AA?). The two symbols compare different kinds of things:

  • ∈\in / ∉\notin compares an element to a set.
  • ⊆\subseteq / ⊈\not\subseteq compares a set to a set.

So for A={1,2,3}A = \{1, 2, 3\}: writing 1∈A1 \in A is correct, but 1⊆A1 \subseteq A is technically wrong notation (1 is an element, not a set) — although {1}⊆A\{1\} \subseteq A is correct, because now both sides being compared are sets.


Why it matters

Membership is the single test every other set idea is built on — union, intersection, subset, and complement are all ultimately defined by asking "x∈Ax \in A?" and "x∈Bx \in B?" for every candidate xx. Get comfortable with ∈\in/∉\notin first, and every later operation becomes just a combination of membership questions.


Takeaway

Membership answers one question only: is this exact object listed in this exact set? Everything else in set theory is built from asking that question, over and over, about different sets.

"Set membership symbol meaning" and "element vs subset difference class 11" are common queries around this idea, which forms the very first building block of the Sets chapter in the NCERT/CBSE Class 11 Mathematics curriculum. Getting the ∈\in vs ⊆\subseteq distinction right is a small but frequent trap in board and competitive exam questions.

Why this formula?

Let's break down the definition of a set — not as a formula to memorise, but as a fundamental idea that underpins all of mathematics.


1. What is a Set? (The Core Idea)

A set is a well-defined collection of distinct objects.

The "why" here is about clarity and precision — we need to know exactly what belongs and what does not.

  • Well-defined: For any object, we can say yes or no — no ambiguity.
  • Distinct: No duplicates — each object appears only once.

Why? Because if we couldn't decide membership, we couldn't do any logical operations. Sets are the building blocks of all mathematical structures.


2. The Key "Formula": Set-Builder Notation

The most common way to define a set is:

S={x∣P(x)}S = \{ x \mid P(x) \}

This reads: "S is the set of all objects xx such that property P(x)P(x) is true."

Why does this work?

  • xx is a placeholder for any object.
  • P(x)P(x) is a logical condition (a predicate) that is either true or false for each xx.
  • The vertical bar ∣\mid means "such that".

Example:

A={n∣n∈N,n is even}A = \{ n \mid n \in \mathbb{N}, n \text{ is even} \}

Here, P(n)P(n) is "nn is a natural number and nn is even".

Only those nn that satisfy both conditions are included.

Why this form? It avoids listing infinitely many elements. It gives a rule — a decision procedure — for membership.


3. The Two Fundamental Properties (Axioms)

Every set definition relies on two intuitive truths:

(a) Extensionality — Two sets are equal if they have the same elements.

A=B  ⟺  (∀x)(x∈A  ⟺  x∈B)A = B \iff (\forall x)(x \in A \iff x \in B)

Why? A set is completely determined by its members. There is no other hidden property.

If you know what's inside, you know the set.

(b) Membership — The only relation is ∈\in (belongs to).

x∈Sorx∉Sx \in S \quad \text{or} \quad x \notin S

Why? Because a set is just a container. The only question we can ask is: "Is this object inside?"


4. Why Can't We Just List Everything?

For small sets, listing works:

{1,2,3}\{1, 2, 3\}

But for infinite sets (like all natural numbers), listing is impossible.

Set-builder notation solves this by giving a rule instead of a list.

Example:

N={n∣n is a positive integer}\mathbb{N} = \{ n \mid n \text{ is a positive integer} \}

This is not a formula to memorise — it's a definition by property.


5. The "Empty Set" — Why It Exists

The empty set ∅\emptyset (or {}\{\}) is the set with no elements.

∅={x∣x≠x}\emptyset = \{ x \mid x \neq x \}

Why is this allowed?

Because the condition x≠xx \neq x is always false — no object satisfies it.

This is a logical necessity: if we can define a set by a property, we must allow the possibility that nothing satisfies it.

Key insight: The empty set is not "nothing" — it's a set that contains nothing. It's a mathematical object.


6. Summary: The "Why" Behind the Definition

ConceptWhy it's defined this way
SetTo have a precise, unambiguous collection — no guesswork.
Set-builderTo define infinite or complex sets without listing.
Membership (∈\in)The only question that matters — is it inside or not?
Empty setLogical completeness — a property may have no objects.

Final takeaway: The definition of a set is not a formula to plug numbers into. It's a logical framework for saying: "These objects, and only these, belong here." Every formula you see later (union, intersection, complement) builds on this single idea.

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.