Esto define una relación de equivalencia (en el conjunto de funciones distintas de cero para todos los "n" suficientemente grandes).