Yes, the relation shown is a function because every element in the domain has only one distinct image in the co-domain.
