Let R be the relation on the set mathbfN of positive integers defined by aRb iff a divides b. Determine whethe

Exercise: Types of Relations · Q9

R

West Bengal WbchseTextbookSubjectiveImportance★★★★★

22% · 11/49 Questions

✓ Free question

Concept understanding — Types of Relations

Types of Relations – From Intuition to Precision

Imagine you have a set of people in a room. A relation is simply a rule that tells you whether two people are connected in some way. "Is the brother of", "lives in the same city as", "is taller than" — each of these is a relation. The question is: what kind of connection is it?

Some relations are very special. They behave in predictable, almost perfect ways. These are the ones we study first.

The Intuition: Three Key Properties

Think about the relation "lives in the same city as" between people.

Reflexive: Does every person live in the same city as themselves? Yes — obviously. A relation is reflexive if every element is related to itself.
Symmetric: If A lives in the same city as B, does B live in the same city as A? Yes — it's mutual. A relation is symmetric if whenever A is related to B, B is also related to A.
Transitive: If A lives in the same city as B, and B lives in the same city as C, does A live in the same city as C? Yes — it chains. A relation is transitive if whenever A is related to B and B is related to C, then A is related to C.

Now think about "is taller than". It is not reflexive (no one is taller than themselves), not symmetric (if A is taller than B, B is not taller than A), but it is transitive (if A > B and B > C, then A > C). Different relations satisfy different combinations.

The Precise Definitions

Let $R$ be a relation on a set $A$ (meaning $R \subseteq A \times A$ ).

R

R

R

The Four Types of Relations You Must Know

These three properties combine to define the most important types:

Type	Reflexive?	Symmetric?	Transitive?	Example
Empty relation	No (unless $A = \emptyset$ )	Yes (vacuously)	Yes (vacuously)	$R = \emptyset$ on $A = \{1,2\}$
Universal relation	Yes	Yes	Yes	$R = A \times A$
Identity relation	Yes	Yes	Yes	$R = \{(a,a) \mid a \in A\}$
Equivalence relation	Yes	Yes	Yes	"Same city", "same remainder mod 3"

Watch out

A common mistake: thinking "symmetric" means "if (a,b) is in R, then (b,a) must also be in R" — that's correct. But it does not require that (a,b) and (b,a) are different pairs. The identity relation is symmetric because (a,a) implies (a,a).

Equivalence Relations — The Most Important Type

An equivalence relation is one that is reflexive, symmetric, and transitive all at once. It captures the idea of "sameness" or "equivalence" in some sense.

Important

An equivalence relation partitions the set into disjoint equivalence classes — groups of elements that are all related to each other. Every element belongs to exactly one class.

Example: On the set of integers, define $a \sim b$ if $a - b$ is divisible by 3. This is an equivalence relation. The classes are:

$\{\dots, -6, -3, 0, 3, 6, \dots\}$ (remainder 0)
$\{\dots, -5, -2, 1, 4, 7, \dots\}$ (remainder 1)
$\{\dots, -4, -1, 2, 5, 8, \dots\}$ (remainder 2)

Other Important Types (for completeness)

Type	Definition	Example
Antisymmetric	If $(a,b) \in R$ and $(b,a) \in R$ , then $a = b$	$\leq$ on real numbers
Asymmetric	If $(a,b) \in R$ then $(b,a) \notin R$	$<$ on real numbers
Partial order	Reflexive + antisymmetric + transitive	$\subseteq$ on sets
Total order	Partial order where every pair is comparable	$\leq$ on real numbers

Tip

To check if a relation is an equivalence relation, test all three properties in order: reflexivity first (easiest to fail), then symmetry, then transitivity. If any fails, it's not an equivalence relation.

Quick Check — Test Yourself

Let $A = \{1,2,3\}$ and $R = \{(1,1), (2,2), (3,3), (1,2), (2,1)\}$ .

Reflexive? Yes — every element has $(a,a)$ .
Symmetric? Yes — $(1,2)$ has $(2,1)$ , and all self-pairs are fine.
Transitive? Check: $(1,2)$ and $(2,1)$ give $(1,1)$ — present. $(2,1)$ and $(1,2)$ give $(2,2)$ — present. No other chains. So yes.

This is an equivalence relation. The classes are $\{1,2\}$ and $\{3\}$ .

Final takeaway: A relation is just a set of ordered pairs. The "types" are simply patterns in which pairs appear. The three properties — reflexivity, symmetry, transitivity — are the building blocks. Master them, and you master the types.

Reflexive: every positive integer $a$ divides itself ( $a = 1\cdot a$ ), so $(a,a)\in R$ for all $a\in\mathbf{N}$ . Reflexive.

Symmetric: $2\mid 4$ (since $4=2\times2$ ), so $(2,4)\in R$ ; but $4\nmid 2$ (since $2/4$ is not an integer), so $(4,2)\notin R$ . Not symmetric.

Transitive: if $a\mid b$ and $b\mid c$ , write $b=ka$ and $c=mb$ for positive integers $k,m$ ; then $c = mka$ , so $a\mid c$ . Transitive.

So $R$ is reflexive and transitive but not symmetric — this combination (with antisymmetry, which divisibility also has) makes 'divides' a partial order on $\mathbf{N}$ , not an equivalence relation.

✓Final answer

R

←Previous questionQ8 — Let R be the relation on mathbbZ defined by aRb iff a < b. Determine w…→Next questionQ10 — Let A = \1, 2, 3, 4\ and R = \(1,3), (3,1), (2,4), (4,2), (1,1), (2,2)…

Q.Let RRR be the relation on the set N\mathbf{N}N of positive integers defined by a R ba\,R\,baRb iff aaa divides bbb. Determine whether RRR is reflexive, symmetric and transitive.

🎓Unlock everything free for 14 days

Q.Let $R$ be the relation on the set $\mathbf{N}$ of positive integers defined by $a\,R\,b$ iff $a$ divides $b$ . Determine whether $R$ is reflexive, symmetric and transitive.

Unlock everything free for 14 days