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.