Function

From Wikiversity
Jump to: navigation, search

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.