A relation that assigns to each x-value exactly one y-value.