If can be written as
where is called variable.
Moreover every element of has a unique image in . Hence is a function from to .
Now for the above sets and , consider:
Hence is not a function from to since has no image in .
Also is not a function from to since the element has two different images i.e., and , i.e.,two different ordered pairs and in the have the same first component.