For the following relation on the set {x: x∈ζ and 1 ≤ x ≤ 12}. 

list:

(a) the ordered pairs belonging to the relation:
(b) the transitive closure

s = {(x, y): 2x = 3y}

We know that x can be any number from 1 to 12. If 2x must be equal to 3y, then 2x must be a multiple of 3. Here's the list of all possible values:

So, the only values for x when 2x is a multiple of 3 are

So, the ordered pairs are

For the transitive closure, you have to look for pairs like (a,b), (b,c), and add the pair (a,c), so that the relation becomes transitive. In our example, we only have the pairs (9,6) and (6,4), so we must add the pair (9,4) in order to make the relation transitive. The transitive closure is thus