A function f is called a mapping or map from X to Y if its domain is X and its range is a subclass of Y.