A special type of relation in which each member of the domain corresponds to one and only one member of the range. A function consists of a set of inputs called the domain,  rule by which each input determines one and only one output, and a set of outputs called the range.