Utilice el calculo de predicados para formular el hecho consistente en que f(x) es una función de x si para cada x hay exactamente un y tal que y=f(x)
ÂxË1y(f(x)=y) o ÂxË1y(f(x)=y) ^ Âz(f(x)=z → z=y))
