Formal definition of a function

f(x)=2x , f: X->Y, X={1,2,3,4,5},Y={2,4,6,8,10}

---

A function relates each element of a set with exactly one element of another set (possibly the same set)

---

Thank's !!!