N → N una función que preserva el orden, o sea tal que m < n implica que