I'm teaching a College Algebra class in the upcoming semester, and only a small portion of the students will be moving on to further mathematics. The class is built around functions, so I need to start with the definition of one, yet many "official" definitions I have found too convoluted (or poorly written) for general use.
Here's one of the better "light" definitions I've found:
A function is a relationship which assigns to each input (or domain) value, a unique output (or range) value."
This sounds simple enough on the surface, but putting myself "in the head" of a student makes me pause. It's almost too compact with potentially ambiguous words for the student (relationship? assigns? unique?)
Here's my personal best attempt, in 3 parts. Each part of the definition would include a discussion and examples before moving to the next part.
A relation is a set of links between two sets.
Each link of a relation has an input (in the starting set) and an output (in the ending set).
A function is a relation where every input has one and only one possible output.
I'm somewhat happier here: starting with a relation gives some natural examples and makes it easier to impart the special importance of a function (which is "better behaved" than a relation in practical circusmtances).
But I'm also still uneasy ("links"? A set between sets?) and I was wanting to see if anyone had a better solution.
The way you've restated the definition is fairly common in contemporary high school books in the U.S. (perhaps changing "links between two sets" to "ordered pairs"). What I've seen a lot of in middle school and earlier algebra settings is the idea of a "function machine." The function machine graphic below is from FCIT (©2009), but a google image search for function machine will show you many different ways the concept can be visualized.
While this probably pushes the idea that a function has a formula, I'd claim that "rule" could be as general as a specific listing of which inputs map to which outputs, as in your definition. To me, the prevalence of this machine metaphor in middle school contexts suggests that it works well for students who do not necessarily yet have a sense of symbolic algebra. I've seen function machines used as low as 3rd grade.