Para el correcto funcionamiento del algoritmo se define un orden de generalidad.