So all of functions with the problem properties are defined like this: Suppose is a finite subset of natural numbers that there doesn't exist that and for iff . is arbitrarily defined with this condition that
Kaya lahat ng mga function na kasama ang mga katangian ng problema ay tinukoy na katulad nito: Ipagpalagay ay may wakas ng isang subset ng mga natural na mga numero na may ay hindi na umiiral iyon at para sa iff . ay arbitrarily tinukoy na may ganitong kondisyon na