There exists atleast one element x such that f(x) = y.
in other words, the codomain(codom) of Y, will image X
In other, other words. If an x is an integer, the y should be expected to be an integer aswell. If the x is an integer, and the y is a fraction, we dont have a subjective function