Composition Definition: Feeding One Function's Output into Another

The composition operator $\circ$ is not commutative: $(f \circ g)(x)$ and $(g \circ f)(x)$ are generally different functions. Identifying which function is inner and which is outer—before writing any algebra—is the single most important modeling decision in composition problems.

On this page: The Principle | Conditions | Misconceptions | EE Questions | Retrieval Practice | Worked Example | Solve a Problem | FAQ

---

The Principle

Statement

A composition $(f \circ g)$ is a new function defined by piping the output of one function $g$ into the input of another function $f$. Formally, $(f \circ g)(x) = f(g(x))$ for every $x$ where both evaluations succeed. The order matters: $g$ always acts first, and $f$ acts on whatever $g$ produces.

Mathematical Form

$(f \circ g)(x) = f(g(x))$

Where:

• $f$ = the outer function (acts second, on $g(x)$)
• $g$ = the inner function (acts first, on $x$)
• $x$ = the input to the composition (must lie in the domain of $g$)
• $(f \circ g)$ = the composed function (a new function that chains $g$ then $f$)

Alternative Forms

In different contexts, this appears as:

• Without operator notation: $h(x) = f(g(x))$ — write the composition as a single rule with $g$ nested inside $f$
• At a specific input: $(f \circ g)(a) = f(g(a))$ — evaluate by substituting $a$ into $g$ first, then feeding the result to $f$

---

Conditions of Applicability

Condition: $x\in\mathrm{dom}(g)$; $g(x)\in\mathrm{dom}(f)$

Practical modeling notes

• Check the inner function’s domain restriction first. Any $x$ excluded from $\mathrm{dom}(g)$ is automatically excluded from the composition.
• Then check whether $g(x)$ satisfies the outer function’s input restriction. This second filter can shrink the domain further.
• If both $g$ and $f$ accept all real numbers, both conditions are satisfied for every $x$ and no restriction arises.
• The domain of $(f \circ g)$ is the set $\{x \in \mathrm{dom}(g) \mid g(x) \in \mathrm{dom}(f)\}$.

When It Doesn’t Apply

• Inner domain gap: If $x$ is outside $\mathrm{dom}(g)$, then $g(x)$ is not defined so $(f \circ g)(x)$ cannot be computed. For example, $g(x) = \ln x$ requires $x > 0$; negative inputs cannot enter the composition.
• Outer domain gap: Even when $g(x)$ is defined, it may fall outside $\mathrm{dom}(f)$. For example, $f(x) = \sqrt{x}$ requires $g(x) \geq 0$; any $x$ for which $g(x) < 0$ must be excluded.
• Wrong order: $(g \circ f)(x) = g(f(x))$ is a different composition with potentially different domain and formula. Applying $f$ first when the problem requires $g$ first is a modeling error, not a domain failure.

Want the complete framework behind this guide? Read Masterful Learning.

---

Common Misconceptions

Misconception 1: $(f \circ g)(x)$ means $f(x) \cdot g(x)$

The truth: The notation $f \circ g$ is function composition, not multiplication. $(f \circ g)(x) = f(g(x))$ means evaluate $g$ at $x$ and feed that result to $f$. The product $f(x) \cdot g(x)$ is a completely different operation.

Why this matters: For $f(x) = 2x$ and $g(x) = x + 1$, the composition gives $f(g(x)) = 2(x + 1) = 2x + 2$, while the product gives $2x(x + 1) = 2x^2 + 2x$. Confusing the two produces a wrong formula on every problem.

Misconception 2: Composition is commutative — $(f \circ g)(x) = (g \circ f)(x)$

The truth: Function composition is not commutative in general. The order of evaluation matters: $f \circ g$ evaluates $g$ first, while $g \circ f$ evaluates $f$ first.

Why this matters: Students who treat composition as commutative may occasionally get the same result on specially constructed pairs, but in general the order changes both the formula and potentially the domain. Swapping the order without checking produces a systematic error.

Misconception 3: The domain of $(f \circ g)$ equals the domain of $g$

The truth: The domain of the composition is a subset of $\mathrm{dom}(g)$: it includes only those inputs $x$ for which $g(x)$ also lies in $\mathrm{dom}(f)$. Outputs of $g$ can fall outside $\mathrm{dom}(f)$, shrinking the effective domain further.

Why this matters: Taking the domain to be all of $\mathrm{dom}(g)$ overstates where the composition is defined, leading to claims that values exist at inputs where the outer function cannot act.

---

Elaborative Encoding

Use these questions to build deep understanding. (See Elaborative Encoding for the full method.)

Within the Principle

• In $(f \circ g)(x) = f(g(x))$, which function acts on $x$ first, and which acts on the result? What would the notation $(g \circ f)(x)$ mean by the same logic?
• If $g(x) = x^2$, what type of object is the argument that $f$ receives—a variable, a specific number, or an expression in $x$?

For the Principle

• Given a composite rule such as $h(x) = \sin(x^2 + 1)$, how would you decompose $h$ into an inner function $g$ and an outer function $f$ using the Composition Definition?
• When does the domain of $(f \circ g)$ equal the full domain of $g$, with no further restriction imposed by $f$?

Between Principles

• The Function Rule Definition uses a single expression $f(x) = E(x)$ to define a function. How does the Composition Definition extend this: is $(f \circ g)(x) = f(g(x))$ itself a function rule definition, and what is its expression $E(x)$?

Generate an Example

• Construct two functions $f$ and $g$ such that $\mathrm{dom}(g) = \mathbb{R}$ yet the domain of $(f \circ g)$ is a proper subset of $\mathbb{R}$. Identify which domain condition fails for the excluded inputs.

---

Retrieval Practice

Answer from memory, then click to reveal and check. (See Retrieval Practice for the full method.)

State the Composition Definition in words: _____A composition (f ∘ g)(x) = f(g(x)) feeds x into the inner function g first, then feeds g(x) into the outer function f. It is valid when x is in the domain of g and g(x) is in the domain of f.

Write the canonical equation for function composition: _____$(f \circ g)(x)=f(g(x))$

State the canonical condition: _____$x\in\mathrm{dom}(g); g(x)\in\mathrm{dom}(f)$

---

Worked Example

Use this worked example to practice Self-Explanation.

Problem

Let $f(x) = x + 3$ and $g(x) = 2x$. Find the formula for $(f \circ g)(x)$.

Step 1: Verbal Decoding

Target: formula for $(f \circ g)(x)$
Given: $f$, $g$, $x$
Constraints: composition definition; both functions accept all real numbers

Step 2: Visual Decoding

Sketch a two-step pipeline: input $x$ flows into $g$, producing $2x$; that output flows into $f$, producing $2x + 3$.

Step 3: Mathematical Modeling

1. $(f \circ g)(x) = f(2x)$

Step 4: Mathematical Procedures

1. $f(2x) = (2x) + 3$
2. $\underline{(f \circ g)(x) = 2x + 3}$

Step 5: Reflection

• Verification: At $x = 1$: $g(1) = 2$, then $f(2) = 5$; the formula gives $2(1) + 3 = 5$ ✓.
• Parameter dependence: Reversing the order gives $(g \circ f)(x) = g(x + 3) = 2(x + 3) = 2x + 6$, a different formula — confirming composition is not commutative.
• Graphical meaning: The composition shifts the scaled linear function $2x$ upward by 3; the outer function’s additive rule applies after $g$ doubles the input.

---

Before moving on: self-explain the model

Try explaining Step 3 out loud (or in writing): why the Composition Definition licenses replacing $x$ in $f$‘s rule with $g(x) = 2x$, what that instantiated equation encodes, and why the substitution is valid even though $f$ was originally written in terms of $x$.

Mathematical model with explanation (what “good” sounds like)

Principle: Composition Definition — $(f \circ g)(x) = f(g(x))$ chains the two functions: $g$ acts first, $f$ acts on the result.

Conditions: $\mathrm{dom}(g) = \mathbb{R}$, so the first condition holds for every $x$. $g(x) = 2x \in \mathbb{R} = \mathrm{dom}(f)$, so the second condition holds as well.

Relevance: The problem asks for a single rule that achieves the same output as applying $g$ then $f$ in sequence. The Composition Definition is precisely that single-rule encoding.

Description: Substitute $g(x) = 2x$ into the rule for $f$: wherever $f$ expects an input $x$, replace it with $2x$, giving $f(2x) = 2x + 3$.

Goal: Find the explicit expression for $(f \circ g)(x)$.

---

Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem

Let $f(x) = \sqrt{x}$ and $g(x) = x - 4$. Find the formula for $(f \circ g)(x)$ and state its domain.

Hint (if needed): Which values of $x$ make $g(x) \geq 0$?

Show Solution

Step 1: Verbal Decoding

Target: formula and domain for $(f \circ g)(x)$
Given: $f$, $g$, $x$
Constraints: composition definition; $f$ requires non-negative input; the second domain condition restricts $x$

Step 2: Visual Decoding

Draw a number line. Mark $x = 4$ (where $g(x) = 0$). Inputs to the right satisfy $g(x) \geq 0$; inputs to the left are excluded.

Step 3: Mathematical Modeling

1. $(f \circ g)(x) = f(x-4)$
2. $x - 4 \geq 0$

Step 4: Mathematical Procedures

1. $f(x-4) = \sqrt{x-4}$
2. $x \geq 4$
3. $\underline{(f \circ g)(x) = \sqrt{x-4},\quad \mathrm{dom}(f \circ g) = [4,\,\infty)}$

Step 5: Reflection

• Verification: At $x = 5$: $g(5) = 1$, $f(1) = 1$; formula gives $\sqrt{5 - 4} = 1$ ✓. At $x = 3$: $g(3) = -1$, $f(-1)$ is undefined ✓ (correctly excluded).
• Domain check: $x = 4$ gives $g(4) = 0$ and $f(0) = 0$ — the boundary is closed; $x < 4$ is excluded because $g(x) < 0$ lies outside $\mathrm{dom}(f)$.
• Graphical meaning: The formula $\sqrt{x - 4}$ is the square-root curve shifted 4 units to the right; the domain $[4, \infty)$ aligns with the right endpoint of this shift.

---

Related Principles

Principle	Relationship to Composition Definition
Function Rule Definition	Foundation: the composed rule $f(g(x))$ is itself computed by applying each function’s rule in turn
Composition Expansion	Direct computational counterpart: after you know what $(f \circ g)(x)$ means, this is the move that evaluates it at a specific input
Piecewise Definition	Sibling: composing with a piecewise inner function requires selecting the active branch before applying the outer function
Inverse Definition	Counterpart: $f^{-1}$ is characterized by $f \circ f^{-1} = \mathrm{id}$ and $f^{-1} \circ f = \mathrm{id}$ — composition is the language of invertibility

See Principle Structures for how to organize these relationships visually.

---

FAQ

What is the Composition Definition?

The Composition Definition $(f \circ g)(x) = f(g(x))$ states that composing two functions creates a new function that pipes the output of the inner function $g$ into the outer function $f$. It is valid when $x$ lies in the domain of $g$ and $g(x)$ lies in the domain of $f$.

When does the Composition Definition apply?

It applies whenever two functions are chained so that the output of one serves as the input of the other. The two domain conditions must both hold: the starting input must be valid for $g$, and the intermediate output $g(x)$ must be valid for $f$.

What is the domain of a composed function?

The domain of $(f \circ g)$ is the set of all $x$ in $\mathrm{dom}(g)$ for which $g(x) \in \mathrm{dom}(f)$. It is always a subset of $\mathrm{dom}(g)$, and can be strictly smaller if some outputs of $g$ fall outside $\mathrm{dom}(f)$.

What is the difference between $(f \circ g)(x)$ and $(g \circ f)(x)$?

In $(f \circ g)(x) = f(g(x))$, $g$ acts first. In $(g \circ f)(x) = g(f(x))$, $f$ acts first. These are generally different functions with different formulas and domains. They are equal in special cases—for instance, when $f(x) = 2x$ and $g(x) = 3x$ both give $(f \circ g)(x) = (g \circ f)(x) = 6x$—but in general the two compositions produce different formulas.

What are the most common mistakes with function composition?

The top three: (1) reading $f \circ g$ as multiplication — the $\circ$ symbol means chaining, not multiplying; (2) swapping the order without checking, because composition is not commutative; (3) taking the domain of the composition to be all of $\mathrm{dom}(g)$ without checking whether $g$‘s outputs lie in $\mathrm{dom}(f)$.

---

Related Guides

• Functions Subdomain Map — Return to the functions hub to see how composition connects to inverse work, logarithms, and later calculus prerequisites
• Derivative Chain Rule — The first calculus successor that turns composition structure into a derivative move
• Principle Structures — Organize the Composition Definition within the broader functions hierarchy
• Self-Explanation — Learn to explain the inner/outer function identification step by step
• Retrieval Practice — Make the composition notation and domain conditions instantly accessible
• Problem Solving — Apply the Five-Step Strategy to composition problems systematically

---

How This Fits in Unisium

Unisium’s functions track introduces composition as the third representational principle, after the Function Rule Definition and Piecewise Definition. Practice sessions use elaborative encoding questions to anchor the inner/outer distinction, spaced retrieval prompts to keep the notation fluent, and structured Five-Step worked examples to build the domain-checking habit. Students who can decompose an unfamiliar expression into inner and outer parts transfer directly to chain-rule problems in calculus.

Ready to master function composition? Start practicing with Unisium or explore the complete learning framework in Masterful Learning.

Masterful Learning

The study system for physics, math, & programming that works: retrieval, connection, explanation, problem solving, and more.

Read the book (opens in new tab) ISBN 979-8-2652-9642-9