According to the properties of a function, the elements in the domain must have been assigned to a unique element in the co-domain.
From the diagram, all the elements in the domain have a unique element in the co-domain.
Yes, the relationship (many to one) is a function.
