ANSWER: Obviously, yes. Because it shows a "one-to-one" relation where no first element is repeated.
If x (first element or domain)= year and y (second element or range) = population for each year in '000.000 (rounded off), then the ordered pairs are (I have no data for 2013):
(2006, 87), (2007, 89), ..., (2015,102)
Please click image below of the values, and graph of the 206 to 2013 population based on the PSA/Central Bank, which you did not provide in your question. I illustrate how the values is a function through a graph.