Usaremos para denotar el conjunto de los numeros reales, para denotar el conjunto de los numeros enteros, para denotar el conjunto de los numeros naturales y para denotar al conjunto .
Dado un conjunto , usaremos para denotar el conjunto formado por todos los subconjuntos de , es decir: Si es un conjunto finito, entonces denotara la cantidad de elementos de .
Para , definamos Dados diremos que divide a cuando haya un tal que . Notar que divide a , divide a y no divide a . Escribiremos para expresar que divide a . Dados , diremos que e son coprimos cuando sea el unico elemento de que divide a ambos. Notese que e no son son coprimos sii existe un numero primo que los divide a ambos
Si bien no hay una definicion natural en matematica de cuanto vale ( elevado a la ), por convencion para nosotros