Let denote the set of all-natural numbers and be the relation on defined by if , then is
An equivalence relation
Explanation for the correct option:
We know that a relation on a set is said to an equivalence relation it is transitive, symmetric and reflexive.
Step 1: Checking if is reflexive
Given is a set of natural numbers and is a relation on defined by if
Definition of a reflexive relation: We know that a relation on a set is said to be reflexive if
Let
Therefore,
This implies that is reflexive.
Step 2: Checking if is symmetric
Definition of a symmetric relation: We know that a relation on a set is said to be symmetric if , then , .
Let
Therefore,
This implies that is symmetric.
Step 3: Checking if is transitive
Definition of a transitive relation: We know that a relation on a set is said to be transitive if then , .
Let
Therefore,
And let .
Therefore,
From equations and we get,
This implies that is transitive.
Therefore, the given relation is reflexive, symmetric and transitive. So, it is an equivalence relation.
Hence, option (D) is the correct answer.