Give a recursive definition of each of these sets of ordered pairs of positive integers.

S = {(a, b) | a E Z+ , b E Z+, and a + b is odd}

S = {(a, b) | a E Z+ , b E Z+, and a|b}

I know I that plotting points in the set in the plane and looking for lines containing points in the set could help.