Since each element in the domain maps to exactly one element in the range, the relation is a function. Therefore, the correct answer is:
\[
\boxed{\text{C. The relation is a function because there are no ordered pairs with the same first element and different second elements.}}
\]