Se denomina conjuntos diofánticos a los conjuntos de números naturales, de pares de números naturales, o de forma más general de formula_6-tuplas de números naturales, que tienen definiciones diofánticas.