Mathematical rules between two sets which assign to each member of the first set exactly one member of the second.