Relation between a set of inputs and a set of permissible outputs.