Section A — MCQ (Single Correct)
Question 1
Let $R$ be a relation defined on the set of all natural numbers $\mathbb{N}$ by the rule $aRb \iff a \mid b$ ($a$ is a factor of $b$). This relation is classified as a:
A
Equivalence relation
B
Partial order relation
C
Symmetric relation
D
Empty relation
Question 2
The total number of symmetric relations that can be defined on a finite set containing exactly 4 elements is:
A
$2^4$
B
$2^{10}$
C
$2^{16}$
D
$2^6$
Question 3
Let $R = \{(1, 2), (2, 3)\}$ be a relation on the set $A = \{1, 2, 3\}$. To make $R$ transitive, what is the minimum number of ordered pairs that must be added to it?
A
$1$
B
$2$
C
$3$
D
$0$
Question 4
If a relation $R$ is symmetric and transitive simultaneously, then its inverse relation $R^{-1}$ must be:
A
Symmetric and Transitive
B
Reflexive
C
Anti-symmetric
D
An Empty relation
Question 5
The equivalence relation $a \equiv b \pmod 5$ defined on the set of all integers partitions $\mathbb{Z}$ into how many disjoint equivalence classes?
A
$2$
B
$5$
C
$10$
D
Infinitely many
Question 6
The total number of binary relations on a set with $n$ elements that are both reflexive and symmetric simultaneously is given by the formula:
A
$2^{n^2 - n}$
B
$2^{\frac{n(n-1)}{2}}$
C
$2^{\frac{n(n+1)}{2}}$
D
$2^{n^2}$
Question 7
Let $R$ and $S$ be two equivalence relations on a non-empty set $A$. Then their intersection $R \cap S$ is always:
A
An equivalence relation
B
Symmetric but not transitive
C
Reflexive but not symmetric
D
An empty relation
Question 8
If the domain of a relation $R$ is identical to its range ($\text{Domain}(R) = \text{Range}(R)$), then the relation:
A
Must be reflexive
B
Must be symmetric
C
Can be any relation that satisfies this specific coordinate boundary match
D
Must be an identity relation
Question 9
The composition relation $R \circ R^{-1}$ for an identity relation $\mathcal{I}_A$ evaluates to:
A
$\mathcal{I}_A$
B
$\emptyset$
C
$A \times A$
D
None of these
Question 10
If a relation $R$ on a set $A$ is reflexive, then the identity relation $\mathcal{I}_A$ and $R$ maintain which relationship?
A
$R \subseteq \mathcal{I}_A$
B
$\mathcal{I}_A \subseteq R$
C
$\mathcal{I}_A \cap R = \emptyset$
D
They are completely equal
Section B — Integer Type
Question 11 — Integer answer
Find the total number of distinct equivalence relations that can be formed on a set containing exactly 4 elements (the $4^{\text{th}}$ Bell number).
Question 12 — Integer answer
Let $A = \{1, 2, 3\}$. Find the number of distinct reflexive relations that can be defined on $A$.
Question 13 — Integer answer
Let $R = \{(x, y) \in \mathbb{Z} \times \mathbb{Z} : x^2 + y^2 \le 2\}$. Find the total number of ordered pairs inside this relation set.
Section C — Assertion & Reasoning
Question 14 — Assertion / Reason
Assertion (A): The empty relation $\emptyset$ on a non-empty set $A$ is symmetric and transitive, but it is not reflexive.
Reason (R): For a relation to be reflexive, every element must be related to itself, which requires the presence of all diagonal pairs $(a, a)$, but the empty set contains no elements at all.
A
Both A and R are true and R is the correct explanation of A
B
Both A and R are true but R is NOT the correct explanation of A
C
A is true but R is false
D
A is false but R is true
Solution: Both A and R are true and R is the correct explanation.
Question 15 — Assertion / Reason
Assertion (A): If $R$ and $S$ are two equivalence relations on a set $A$, then their union $R \cup S$ is always an equivalence relation.
Reason (R): The union of two transitive relations can fail to be transitive because it can introduce chaining paths without including the required shortcut endpoints.
A
Both A and R are true and R is the correct explanation of A
B
Both A and R are true but R is NOT the correct explanation of A
C
A is true but R is false
D
A is false but R is true
Solution: A is false (the union is not guaranteed to be an equivalence relation because transitivity can fail) but R is true.