Function
From Wikiversity
A relation f ⊂ X×Y is said to be a function if every y in Y satisfies the following axiom.
If (x1,y) is in f and (x2,y) is in f then x1 = x2.
One writes f(x) = y if (x,y) is in f.
A relation f ⊂ X×Y is said to be a function if every y in Y satisfies the following axiom.
If (x1,y) is in f and (x2,y) is in f then x1 = x2.
One writes f(x) = y if (x,y) is in f.