R1 is a relation from A = {1, 3, 5, 7} to B = {2, 4, 6, 8} . Under R1, an element x in A is related to an element y in B if x + y is divisible by 3.
Thus, R1 = {(1, 2), (1, 8), (3, 6), (5, 4), (7, 2), (7, 8)}
R2 is a relation from B = {2, 4, 6, 8} to C = {1, 2, 3, 4} Under R2, an element y in B is related to an element z in C if y + z is even but not divisible by 3.
Thus, R2 = {(2, 2), (4, 4), (6, 2), (6, 4), (8, 2)}
Thus, R1R2 = {(1, 2), (3, 2), (3, 4), (5, 4), (7, 2)}
Thus, option (C) is correct.