Diophantine equation
A Diophantine set is a subset "S" of Nj so that for some Diophantine equation "P"(', ') = 0,