Concept of a function — input, output, mapping: Foundations

Before you can trust that sentence, you need to own every symbol the parent note throws at you. Below, each symbol earns its place: plain words → the picture → why the topic needs it. Read top to bottom; each one leans on the one above.

1. A "set" and the curly braces ${}$

The picture. Draw a soft blob (a fence). Inside the fence you scatter dots — each dot is one member. The fence is the set; the dots are its elements.

Figure — Concept of a function — input, output, mapping

Why the topic needs it. A function always goes from one collection to another. Without the idea of a collection-of-allowed-inputs, we couldn't even say what "each input" means.

${1, 2, 3}$ ::: a set with three members, one, two and three.

2. The empty set $\emptyset$

The picture. The same soft blob as before, but empty: not a single dot within the fence.

What is $\emptyset$ ? ::: the empty set — a collection with zero members.
Is $\emptyset$ a valid set? ::: yes; "nothing inside" is still a perfectly good collection.

3. "Belongs to" — the symbol $\in$

The picture. An arrow pointing from a floating dot into the fence: the dot is now officially "in". If it stays outside the fence, we'd write $x \in / A$ (" $x$ is not in $A$ "). Notice: for the empty set $\emptyset$ , nothing satisfies $x \in \emptyset$ — no dot is ever inside.

Why the topic needs it. The definition says "each element $x \in A$ ". That symbol is how we say "pick any dot living inside the input-blob."

Read $5 \in {1, 3, 5}$ ::: "five belongs to the set containing one, three and five" (true).
Read $2 \in / {1, 3, 5}$ ::: "two does not belong to that set" (true).

4. Numbers we're allowed to use — the symbol $R$

The picture. A horizontal number line stretching forever both ways, with 0 in the middle, positives to the right, negatives to the left. No gaps — every point is a real number.

What does $R$ stand for? ::: the set of all real numbers — every point on the number line.
Is $- 2.7 \in R$ ? ::: yes, negatives and decimals are all real numbers.

5. An "ordered pair" $(x, y)$

The picture. A flat sheet (the plane) with two number lines crossing at right angles — the axes. To plot $(x, y)$ : start at the crossing point (called the origin), then move along the horizontal axis by $x$ — right if $x$ is positive, left if $x$ is negative — and then along the vertical axis by $y$ — up if $y$ is positive, down if $y$ is negative. Drop a dot where you land; that dot is the pair. So $(3, 2)$ is right-and-up, while $(- 3, - 2)$ is left-and-down, and $(- 3, 2)$ is left-and-up.

Why the topic needs it. A function's input–output link is recorded as a pair: input first, output second. The whole function can be pictured as a bag of such dots on the plane — which is exactly a graph (you'll meet graphs fully in Graphs of Functions).

Is $(3, 5)$ the same as $(5, 3)$ ? ::: no — order matters, so they are different pairs.
To plot $(- 4, 1)$ you move... ::: 4 steps left (x is negative) then 1 step up (y is positive).

6. The mapping arrows: $\to$ and $\mapsto$

Two arrows look similar but say different things — mixing them up is the most common early slip.

The picture. Two blobs side by side, left blob $A$ , right blob $B$ . Between the blobs, a big label-arrow $A \to B$ . Inside, thin barbed arrows join each left-dot to exactly one right-dot: those are the $x \mapsto y$ arrows.

Which arrow joins two sets? ::: the thin arrow $\to$ , as in $A \to B$ .
Which arrow joins a single input to its output? ::: the barbed arrow $\mapsto$ , as in $3 \mapsto 9$ .

7. The name $f$ , the colon $:$ , and the value $f (x)$

The picture. A box labelled $f$ . A number $x$ slides in the top slot; a single number slides out the bottom slot, and that falling number is what we call $f (x)$ .

Why the brackets? The brackets are the "in-slot". Writing $f (3)$ means "run the machine on the input 3". So $f (3) = 9$ reads "when I feed 3 into machine $f$ , out drops 9."

In $f : R \to R$ , what does the colon say? ::: " $f$ is a function from the reals to the reals."
In $f (x) = x^{2}$ , what is $f$ ? ::: the name of the whole squaring machine (the rule).
In $f (x) = x^{2}$ , what is $f (3)$ ? ::: the single output 9, the result of feeding in 3.

8. Domain, codomain, range — the three fences

Now every earlier piece pays off. A function comes with three collections, and confusing them is Mistake 3 in the parent note.

The picture. Left blob $A$ (domain), right blob $B$ (codomain). Barbed arrows leave every left-dot (that's what "each element" demands). The right-dots that actually get hit, circled together, form the range $f (A)$ — a little sub-blob inside $B$ .

Domain vs range in one line? ::: domain = what you may put in; range = what actually comes out.
What does $f (A)$ mean? ::: the range — the set of all outputs $f (x)$ as $x$ runs over the domain $A$ .

9. Interval brackets: $[0, \infty)$

The range above used $[0, \infty)$ . That notation is its own small language.

The picture. A slice of the number line. A filled dot at 0 (square bracket — 0 is in), then a solid ray running right forever with an open feather at the far end (round bracket at $\infty$ ).

So $[0, \infty)$ = "all numbers from 0 (included) rightward forever" — exactly the possible outputs of $x^{2}$ .

Why is 0 written with a square bracket in $[0, \infty)$ ? ::: because $0 = 0^{2}$ is a real output, so it is included.
Why does $\infty$ always take a round bracket? ::: because infinity is never an actual reachable number.

10. The $\pm$ symbol and the piecewise brace

Two last symbols the parent leans on in its examples.

This is precisely why the unit circle $x^{2} + y^{2} = 1$ is not a function: solving at $x = 0$ gives $y = \pm 1$ , i.e. two outputs for one input — a violation.

The picture. A number line split at 0. Left region (negatives) glows one pastel colour with rule " $- x$ "; right region (0 and up) glows another with rule " $x$ ". Any single input lands in exactly one region, so still one output.

$g (x) = {x - x if x \geq 0 if x < 0$

Why does $\pm$ break the "function" rule? ::: it names two outputs for one input; functions allow only one.
In a piecewise rule, how many lines do you use per input? ::: exactly one — the line whose condition your input meets.

How the foundations feed the topic

The diagram below is a prerequisite map: read the arrows as "is needed for". Sets and their symbols sit at the top because everything rests on them; they let us name the three fences (domain, codomain, range) and describe the machine $f$ ; those two ideas then combine into the full concept of a function. In words: sets → fences and machine → function.

If any box above still feels shaky, scroll back to its section before moving on — the map shows you exactly which earlier idea to shore up.

Equipment checklist

Test yourself — cover the right side of each ::: line and answer before revealing.

${a, b, c}$ means... ::: a set (collection) whose members are $a$ , $b$ and $c$ ; no order, no repeats.
$\emptyset$ means... ::: the empty set — a collection with no members at all.
$x \in A$ means... ::: $x$ is a member of the set $A$ (a dot inside the blob $A$ ).
$R$ is... ::: the set of all real numbers — the entire number line.
The difference between $\to$ and $\mapsto$ is... ::: $\to$ links two whole sets; $\mapsto$ links one input to its one output.
The colon in $f : A \to B$ says... ::: " $f$ is a function from set $A$ to set $B$ ."
$f$ versus $f (x)$ is... ::: $f$ is the machine/rule itself; $f (x)$ is the single number that drops out after feeding in $x$ .
$f (A)$ or $Im (f)$ means... ::: the range — the set of all outputs as $x$ runs over the domain.
$[0, \infty)$ means... ::: every number from 0 (included) rightward forever ( $\infty$ never reached).
Two meanings of $(a, b)$ are... ::: an ordered pair (a dot on the plane) OR an open interval (numbers strictly between $a$ and $b$ ); context decides.
To plot $(- 4, 1)$ you move... ::: 4 steps left then 1 step up.
$\pm 1$ means... ::: the two values $+ 1$ and $- 1$ at once — which is why it cannot be a function's output.
A piecewise brace tells you to... ::: use exactly one rule-line, the one whose condition your input satisfies.

Ready? If every reveal felt obvious, move on to the main topic. Then branch into Graphs of Functions, Types of Functions, Inverse Functions, Composition of Functions and Real-world Applications. Prefer Hindi? See the Hinglish version.