What Are The Types of Functions?
A function is a rule that assigns every element of the set exactly one element of the set , and the types of functions describe how that rule behaves. They are classified in four main ways: by how inputs are paired with outputs (mapping), by the highest power in the rule (degree), by the kind of output (range), and by the family the rule belongs to (algebraic, trigonometric, exponential, logarithmic). A few more names describe symmetry (even, odd, periodic) or how functions combine (inverse, composite).
Three words carry every classification below:
Domain: the set of allowed inputs.
Codomain: the set the outputs are declared to lie in.
Range: the outputs that actually occur. The range is always inside the codomain, but it can be smaller.
A function's type can depend on its domain and codomain, so every mapping example on this page states both. The notation itself is Euler's: he introduced it in 1734 (MacTutor: Leonhard Euler). For the difference between a function and a general relation, see relations and functions.
Classified by | Question it answers | Types |
|---|---|---|
Mapping | How are inputs paired with outputs? | One-one, many-one, onto, into, bijective |
Degree | What is the highest power of ? | Constant, identity, linear, quadratic, cubic, polynomial |
Range | What kind of output does the rule give? | Modulus, signum, greatest integer |
Family | Which kind of rule is it? | Algebraic (including rational), trigonometric, inverse trigonometric, exponential, logarithmic |
Symmetry and combination | How does it behave or combine? | Even, odd, periodic, inverse, composite |
One function can belong to several types at once: , is cubic, bijective, algebraic and odd.
Types of Functions Based on Mapping
Type | Condition | Example (domain and codomain stated) |
|---|---|---|
Different inputs always give different outputs: only when | , | |
Many-one | At least two different inputs share an output | , , since |
Every element of the codomain is an output: range = codomain | , | |
Some element of the codomain is never an output: range is smaller than the codomain | , , since no input gives | |
Both one-one and onto | , |
The two questions are independent, so every function on finite or infinite sets falls into one cell of this grid:
Onto | Into | |
|---|---|---|
One-one | , (bijective) | , (odd integers never appear) |
Many-one | , | , |
A constant function such as , is many-one and into: every input gives , and no other number is ever an output.
Testing one-one and onto from a graph
The horizontal line test checks a graph of : draw horizontal lines across it. If some line crosses the graph more than once, is not one-one. If some line , with in the codomain, misses the graph completely, is not onto. (The vertical line test is different: it checks whether a graph is a function at all.)
Types of Functions Based on Degree
These are polynomial functions, sorted by the highest power of with a non-zero coefficient.
Type | Rule and condition | Degree | Example | Graph |
|---|---|---|---|---|
Constant | 0 if | Horizontal line | ||
Zero function | Undefined | The x-axis | ||
on a set , mapping to | 1 | Line through the origin, slope 1 | ||
Linear | , | 1 | Straight line with slope | |
Quadratic | , | 2 | Parabola | |
Cubic | , | 3 | S-shaped curve | |
Polynomial | , | Smooth curve with at most turning points |
The conditions matter. If in , the rule is the constant , not a linear function; if in , the rule is at most linear. A polynomial of degree has at most real zeros. More on each type: polynomials, quadratic equations and cubic polynomials.
Types of Functions Based on Range
These functions are named for the kind of output they produce.
Type | Rule | Domain and range | Example |
|---|---|---|---|
: if , and if | Domain , range | ||
Signum | if , if , if | Domain , range | |
= the largest integer less than or equal to | Domain , range | , |
All three are many-one on : for example and .
Types of Functions Based on Family
Family | Rule and condition | Domain and range | Example |
|---|---|---|---|
Algebraic | Built from with , , , , powers and roots: polynomials, rational and root functions | Depends on the rule | , domain |
Rational (algebraic) | , with polynomials , and not the zero polynomial | All reals except the zeros of | , |
, , and their reciprocals | : domain , range | ||
, , , defined after restricting each trigonometric function to a one-one piece | : domain , range | ||
Exponential | , with and | Domain , range | |
, with and ; the inverse of | Domain , range |
The base conditions are not decoration. With , for every , which is a constant function; with , a value like is not a real number.
Other Types: Even, Odd, Periodic, Inverse and Composite
Type | Condition | Example |
|---|---|---|
for every in the domain; graph symmetric about the y-axis | , , | |
Odd | for every in the domain; graph symmetric about the origin | , |
Neither | Fails both tests | |
for all ; the smallest such is the period | has period ; has period | |
exactly when ; exists only when is bijective | , has | |
Composite | : apply first, then | , give |
What The Type Tells You
Inverses: only a bijective function has an inverse. To invert , first restrict it to ; its inverse is then .
Graph shape: the type predicts the graph before you plot a point (see the grid above).
Number of solutions: a linear equation with has exactly one solution; a polynomial equation of degree has at most real solutions.
Modelling: periodic functions model tides, sound waves and the length of daylight across a year; exponential functions model compound interest and early, unchecked population growth.
Examples of Types of Functions
Example 1
Show that , is bijective, and find its inverse.
One-one: suppose .
Onto: take any in the codomain and solve .
This is a real number for every real , so every element of the codomain is an output.
Final answer: is bijective (and linear, since ), with .
Example 2
Is , one-one?
The tempting argument: "every gives exactly one value of , so the function is one-one." That sentence describes every function. One-one asks something stronger: do different inputs always give different outputs?
Test two different inputs:
Two inputs share the output , so is many-one. It is also into, because no real input gives .
Final answer: not one-one. Restricted to , the same rule becomes bijective.
Example 3
Is even, odd or neither? What about ?
For , replace with :
So is odd. For , test :
Since and , is neither even nor odd.
Final answer: is odd; is neither.
Example 4
Let and . Find and .
Final answer: and . The order of a composite changes the result.
Example 5
Find , and .
The first instinct on is to drop the decimal and write . But is greater than , and the floor must be less than or equal to the input. On the number line, the integers either side of are and , and only is at or below it.
Final answer: , and .
Common mistakes with types of functions
Mistake 1: Deciding "onto" without looking at the codomain
Where it slips in: Questions that state the codomain in the notation , where students check the formula and skip the .
Don't do this: Calling "onto" or "not onto" from the formula alone.
The correct way: Compare the range with the stated codomain. For , is not onto, because negative numbers have no pre-image (no input gives ). For , the same rule is onto, because every equals .
Mistake 2: Assuming even degree means even function
Where it slips in: Symmetry questions on polynomials, because "even" appears in both names.
Don't do this: Calling even because its degree is 2.
The correct way: Test . Here , which is neither nor , so the function is neither even nor odd. A polynomial is even only when every power of in it is even (a constant counts as ).
Mistake 3: Ignoring the condition on the leading coefficient or base
Where it slips in: Classifying a rule written with letters, such as or , before checking the value of .
Don't do this: Calling quadratic when , or calling exponential.
The correct way: Check the condition first. With , , which is linear. An exponential function needs and , and is constant.
Frequently Asked Questions
What are the main types of functions?
The types of functions are grouped by mapping (one-one, many-one, onto, into, bijective), by degree (constant, identity, linear, quadratic, cubic, polynomial), by range (modulus, signum, greatest integer) and by family (algebraic, trigonometric, inverse trigonometric, exponential, logarithmic). Even, odd, periodic, inverse and composite functions describe further properties.
What is the difference between an into function and an onto function?
An onto function reaches every element of its codomain. An into function misses at least one. Every function is exactly one of the two.
Can a function be both one-one and onto?
Yes. That is a bijective function, for example , .
Is every linear function one-one?
Yes, as a function from to . When , is one-one and onto, with inverse . If , the rule is a constant function, which is many-one.
The Short Version
The types of functions are grouped by mapping, degree, range and family, and one function can belong to several types.
Mapping types (one-one, onto, bijective) depend on the stated domain and codomain, so always state both.
Degree types need a non-zero leading coefficient; exponential and logarithmic functions need a base with .
Only bijective functions have inverses.
Even and odd are symmetry tests on , not statements about the degree.
Practice Problems With Answers
Classify , by degree, mapping, family and symmetry.
Show that , is bijective and find its inverse.
Is even, odd or neither?
Find , and .
With and , find and .
Answers:
Cubic (degree 3), bijective, algebraic and odd. One-one: if then and , so . Onto: a cubic on takes every real value. Odd: .
From we get ; solving gives for every real . So is bijective with .
Even: .
, and .
and .
If Example 2 or Mistake 1 still feels slippery, redo them with the mapping diagrams above. Want a live Bhanzu trainer to work through more function problems? Book a free demo class.
Was this article helpful?
Your feedback helps us write better content
Frequently Asked Questions
What are the main types of functions in math?
How do you determine the type of a function?
What is the difference between an into function and an onto function?
Can a function be both one-one and onto?
Is a function?
What type of function is always continuous?
What is a periodic function?

