If this happens, then we say that "y" is a function of "x, "and we write formula_4. Here, "formula_1" is the name of the function, and one writes formula_6 (function from X to Y) to represent the three parts of the function: the domain (x), the codomain (y), and the pairing process (the arrow).