set theory - definition of a function

Function

A function from A to B is a relation (R) from A to B, such that, for each x in A, there is only one y in B where (x,y) in R.

{% \forall x \in A, \exists ! y \; s.t. \, (x,y) \in R %}