You may have thought this relation was not a function because the output 0 is the same for every input. However, each input has only one output, so this relation is a function.