Determine whether relation is function.
We know a relation is a function only if it relates each element in its domain (input) to only one element in the codomain (output).
So from the above diagram, we can see a well-defined many-to-one mapping from the domain onto the codomain .
Hence, the ordered pairs are .
Here, each input has exactly one output. Then relation is a function.