A problem hands you the hypothesis A \cap B = A. A different problem hands you A \cup B = B. A third problem says simply "A \subseteq B." Three different-looking givens — and the reflex that saves you minutes in JEE-style questions is to recognise that all three are the same hypothesis in disguise. When any one shows up, the other two are free of charge, and you should pick whichever phrasing makes the next step shortest.

The reflex in one line

A \subseteq B \iff A \cap B = A \iff A \cup B = B

Memorise the chain of equivalences as one fact, not three. The instant you see any one of them in a problem, mentally rewrite the other two on your rough sheet. The question will almost always simplify faster if you swap to a different face of the same relation.

Why the three are equivalent

The subset relation "A \subseteq B" says every element of A is in B. The two algebraic forms say the same thing using the language of operations.

A \subseteq B \Rightarrow A \cap B = A. Every element of A is in B, so every element of A qualifies for the intersection, which gives A \cap B \supseteq A. The other inclusion is automatic (A \cap B \subseteq A always). Equality holds.

A \cap B = A \Rightarrow A \subseteq B. Take any x \in A. Then x \in A \cap B, so x \in B. Every element of A is in B.

A \subseteq B \Rightarrow A \cup B = B. Every element of A is already in B, so the union adds nothing new to B.

A \cup B = B \Rightarrow A \subseteq B. Take x \in A. Then x \in A \cup B = B. So x \in B.

The three statements chain together into one equivalence, and any one of them implies the other two.

Why: "subset" is purely a membership statement, but membership is exactly what union and intersection are built from. The two operations package membership into an equation — and each equation encodes the subset relation from a slightly different angle.

Three equivalent forms of the subset relation shown as three nested-circle picturesThree small Venn diagrams arranged left to right, each showing a smaller circle A nested inside a larger circle B, with a universal rectangle U. Below each diagram is one of the three equivalent forms: A is a subset of B, A intersect B equals A, A union B equals B. Double-headed arrows connect the three diagrams indicating they are equivalent. A B A ⊆ B ⟺ A B A ∩ B = A ⟺ A B A ∪ B = B
One picture, three captions. In each diagram the smaller disk $A$ sits fully inside $B$. The middle panel shades $A \cap B$ (the intersection equals $A$). The right panel shades $A \cup B$ (the union equals $B$). Different shading, same nesting.

How the reflex saves work

The three phrasings are not decorative — they genuinely change how fast a problem lands.

Given phrasing: A \cap B = A. Asked: simplify (A \cup B) - A.

If you stick with A \cap B = A, you grind. If you flip to A \cup B = B on sight, the expression becomes B - A, and you are done. One mental swap, one substitution, answer out.

Given phrasing: A \subseteq B. Asked: is |A \cup B| = |B|?

Flip to A \cup B = B and the cardinalities are trivially equal. Without the flip you would invoke inclusion-exclusion, compute |A| + |B| - |A \cap B|, and then use A \cap B = A to reduce — longer path, same destination.

Given phrasing: A \cup B = B. Asked: find A \cap B'.

Flip to A \subseteq B. Every element of A is in B, so none is in B', so A \cap B' = \varnothing. Three seconds.

The reflex as a checklist

When a problem hands you one of the three forms, do this:

  1. Copy the hypothesis to rough paper in all three phrasings. A \subseteq B. A \cap B = A. A \cup B = B. Three lines.
  2. Scan the quantity you are asked to compute or simplify. See which of the three phrasings makes the first substitution cleanest.
  3. Make that substitution. Continue.

The whole exercise takes under ten seconds on a JEE answer sheet, and frequently collapses what looks like a four-step simplification to a single substitution.

Sibling substitutions that ride along

The three equivalences bring two more substitutions with them, both worth keeping in the same mental pocket:

So really the reflex is: on seeing any of the three phrasings, five simplifications come online at once — A \cap B = A, A \cup B = B, A - B = \varnothing, and B' \subseteq A', plus the original A \subseteq B.

A quick exam vignette

Question. Let A and B be sets with A \cup B = B. Which of the following must be true? (i) A \cap B = A. (ii) A = B. (iii) A - B = \varnothing. (iv) B \subseteq A.

Reflex. Translate the given: A \cup B = B \Leftrightarrow A \subseteq B. Now (i) is true (equivalent form). (iii) is true (sibling substitution). (ii) is not forced — subset does not mean equality; B could be strictly larger. (iv) is the reverse inclusion, also not forced.

Answer: (i) and (iii). Done in fifteen seconds, no algebra.

Spotting the hidden subset

Problem: Given X \cap Y = X and |Y| = 12, |X| = 5, find |X \cup Y|.

The hypothesis X \cap Y = X is the middle face of the equivalence. Flip it: X \subseteq Y. So X \cup Y = Y, and |X \cup Y| = |Y| = 12. The |X| = 5 is a red herring — subset information overrides the need for inclusion-exclusion. Answer: 12.

The habit to train

That is the whole reflex. Three phrasings, one relation, one habit — and a sizeable chunk of JEE set-theory questions are engineered to reward recognising this equivalence on sight.

Related: Set Operations · A ⊆ B — Then A ∪ B = B and A ∩ B = A · Shade the Venn First, Then Write the Symbols · A − B vs A ∩ B′: Different Notations for the Same Set