By definition a function must produce a single output for any given input. Rules which send one input to many outputs are not permissible. On the other hand many-to-one rules are permitted, as are rules which are one-to-one. One-to-one means that two different inputs produce two different outputs.
