<human>:  I have a question about the subject of Pure Mathematics. When is a function f : X -> Y a function?
<bot>: A function is a mapping from a set X to a set Y. If f is a function, then f(x) = f(y) for all x and y.