Common Mistakes

Traps in Sets, Relations & Functions

6 mistake patterns students fall for. 2 high-frequency traps appear in almost every exam.

Missing reflexive check for all elements

Very CommonCONCEPT

Students check reflexivity for only some elements of the set and conclude the relation is reflexive, missing elements where (a, a) is absent.

Why: Reflexivity requires (a, a) for EVERY element a in the set. Students check a few elements and assume it holds for all, or confuse 'some pairs are reflexive' with 'the relation is reflexive'.

WRONG: On A={1,2,3}A = \{1, 2, 3\}, relation R={(1,1),(2,2),(1,3)}R = \{(1,1), (2,2), (1,3)\}: claiming R is reflexive because (1,1) and (2,2) are present, missing that (3,3) is absent.
RIGHT: R is NOT reflexive because (3,3)R(3, 3) \notin R. Reflexivity requires (a,a)R(a, a) \in R for every aAa \in A, which means we need (1,1), (2,2), AND (3,3).
See pattern: Classify Relations

Confusing one-one with onto

Very CommonCONCEPT

Students mix up the definitions of injective and surjective, checking the wrong property when asked about one of them.

Why: Both concepts deal with the relationship between domain and codomain, and students memorize them as a pair without clearly distinguishing which is which.

WRONG: To check if f(x)=x2f(x) = x^2 on RR\mathbb{R} \to \mathbb{R} is one-one, checking if every positive real has a preimage (that is onto, not one-one).
RIGHT: One-one: f(a)=f(b)a=bf(a) = f(b) \Rightarrow a = b. Here f(2)=f(2)=4f(2) = f(-2) = 4, so ff is NOT one-one. Onto: is every yRy \in \mathbb{R} achieved? No, f(x)=x20f(x) = x^2 \geq 0, so ff is NOT onto either.
See pattern: Check Injective/Surjective

Confusing subset with proper subset

CommonCONCEPT

Students write A is a proper subset of B when A could equal B, or use subset notation when proper subset is required.

Why: The symbols for subset and proper subset look similar, and textbooks sometimes use them inconsistently. Students forget that a set is a subset of itself but not a proper subset of itself.

WRONG: Claiming {1,2}\{1, 2\} is a proper subset of {1,2}\{1, 2\}.
RIGHT: {1,2}{1,2}\{1, 2\} \subseteq \{1, 2\} is true (subset), but {1,2}{1,2}\{1, 2\} \subset \{1, 2\} as a proper subset is false. A proper subset must be strictly smaller.
See pattern: Set Operations and Cardinality

Wrong De Morgan application

CommonFORMULA

Students swap union and intersection but forget to complement each individual set, or apply De Morgan's law only partially.

Why: De Morgan's law requires two changes: swap union/intersection AND complement each set. Students often remember only one of these.

WRONG: Writing (AB)=AB(A \cup B)' = A \cup B' or (AB)=AB(A \cup B)' = A' \cup B' instead of the correct ABA' \cap B'.
RIGHT: (AB)=AB(A \cup B)' = A' \cap B': complement flips the operation (union to intersection) AND complements each set. Similarly, (AB)=AB(A \cap B)' = A' \cup B'.
See pattern: Set Operations and Cardinality

Wrong domain of composite function

CommonFORMULA

Students compute the domain of g(f(x)) by only considering where the final expression is defined, ignoring the constraint that f(x) must lie in the domain of g.

Why: Students substitute and simplify first, then find the domain of the simplified expression. But cancellations or simplifications can hide domain restrictions.

WRONG: For f(x)=x2f(x) = x^2 and g(x)=xg(x) = \sqrt{x}, writing domain of g(f(x))=x2=xg(f(x)) = \sqrt{x^2} = |x| as all of R\mathbb{R}, without noting f(x)=x20f(x) = x^2 \geq 0 so g(f(x))g(f(x)) is indeed defined for all xx. But reversing: domain of f(g(x))=(x)2=xf(g(x)) = (\sqrt{x})^2 = x seems to be all of R\mathbb{R}, but g(x)=xg(x) = \sqrt{x} requires x0x \geq 0.
RIGHT: Domain of fgf \circ g: first xx must be in dom(gg), so x0x \geq 0. Then g(x)=x0g(x) = \sqrt{x} \geq 0 which is always in dom(ff). So domain of fg=[0,)f \circ g = [0, \infty), not R\mathbb{R}.
See pattern: Composition of Functions

Forgetting all three conditions for equivalence relation

OccasionalCONCEPT

Students verify only two of the three properties (reflexive, symmetric, transitive) and conclude the relation is an equivalence relation.

Why: After checking two properties, students assume the third follows automatically. In reality, there exist relations that are symmetric and transitive but not reflexive, or reflexive and symmetric but not transitive.

WRONG: Relation R={(1,1),(1,2),(2,1),(2,2)}R = \{(1,1), (1,2), (2,1), (2,2)\} on {1,2,3}\{1, 2, 3\}: claiming it is an equivalence relation because it is reflexive for 1 and 2, symmetric, and transitive, forgetting that (3,3)R(3, 3) \notin R.
RIGHT: R is symmetric and transitive, but NOT reflexive (missing (3,3)(3,3)). Therefore R is NOT an equivalence relation. All three properties must hold for every relevant element.
See pattern: Classify Relations
Test yourself

Can you spot these traps under time pressure?

Take a timed quiz on Sets, Relations & Functions and see if you avoid the mistakes above.