Aunque la distinción frecuentemente se ignore, la función en "X"/~, teniendo un dominio diferente, debería ser vista como un mapeo distinto formula_2.