A relation S is defined on the set of integers as follows: for all...