A relationship in which each input has exactly one output.