A special relation in which every x-value must be associated to only one y-value