Quotes from George B. Thomas Jr.

DEFINITION A function Æ'from a set D to a set Y is a rule that assigns a unique (single) element to each element Æ'sxd H Y x H D.