Yes because each value of x maps to a single value of y.
THere is a many-to-one relation with (1, 12) and (5, 12) but that is OK for a function. What would not be OK is if we had a one-to-many relation like (1, 12) and (1, 14) included in the ordered pairs - that is not a function.
