y esta función está definida por los pares ordenados: