Q. Let be a fixed positive integer. Let a relation be defined in (the set of all integers) as follows : iff , that is, iff - is divisible by . Then, the relation is

 2334  232 Relations and Functions - Part 2 Report Error

Solution:

Reflexive : Since for any integer , we have is divisible by . Hence, .
is Reflexive.
Symmetric : Let . Then, by definition of ,
, where .
where and so .
is symmetric.
Transitive : Let and . Then, by definition of , we have, and , where , .
Then it follows that
, where and so .
is transitive.
Hence, is an equivalence relation.