Cheat Sheet of Mathemtical Notation and Terminology
Logic and Sets
Notation
Terminology
Explanation and Examples
π βΆ= π
defined by
The object π on the side of the colon is defined by π.
Examples:π₯ βΆ= 5 means that π₯ is defined to be 5, or π (π₯) βΆ= π₯2 β 1 means that
the function π is defined to be π₯2 β 1, or π΄ βΆ= {1, 5, 7} means that the set π΄ is
defined to be {1, 5.7}.
π1 β π2
implies
Logical implication: If statement π1 is true, then statement π2 must be true. We
say π1 is a sufficient condition for π2 or π2 is a necessary condition for π1 .
Interval notation
Notation
Terminology
Explanation and Examples
[π, π]
closed interval
If π, π β β with π β€ π the closed interval is the set {π₯ β β β£ π β€ π₯ β€ π}
Examples:[β3, 5] is the set of real numbers between β3 and 5, including the
endpoints β3 and 5.
(π, π)
open interval
Examples:(β3, 5) id the set of real numbers between β3 and 5, excluding the
endpoints β3 and 5.
Examples:(π β β even) β (π even).
If π, π β β with π β€ π, [π, π) is the set of all numbers between π and π with
π included and π excluded. In case of (π, π] the endpoint π is excluded and π
is included.
Logical equivalence: If statement π1 is true, then statement π2 must be true, and
vice versa. We say π2 is a necessary and sufficient condition for π1 .
Examples:[β3, 5) is the set of real numbers between β3 and 5, including β3
but excluding 5. For (β3, 5] the endpoint β3 is excluded and 5 is included.
[π, π) or (π, π]
half open interval
2
π1 β π2
equivalent to
Examples:(ln π₯ > 0) β (π₯ > 1).
β
there exists
Abbreviation for there exists
β
for all
Abbreviation for for all
{β¦ }
set
The βobjectsβ listed between the curly brackets are members of the set being
defined.
β
{
}
Examples:{0, 2, 5, 7}, {2 + π, 7 β 5},
, ,
The elements of a set can be any kind of objects such as numbers, functions,
points, geometric objects or other.
πβπ΄
element of
π is an element of the set π΄, that is, π is in the set π΄.
{
}
Examples:π β β, 4 β {1, 4, 7}, β
, ,
β
or {}
empty set
The special set that does not contain any element.
{π₯ β£ property} set of . . . with . . .
Notation indicating a set of elements π₯ satisfying a certain property.
Examples:{π β β β£ π is even}, where π β β is the typical element and the
property satisfied is that π is even.
{π₯2 β£ π₯ β β}, where the typical member is a square of some number in β.
π΄βπ΅
subset of
The set π΄ is a subset of π΅, that is, every element of π΄ is also an element of π΅.
More formally: π β π΅ β π β π΄.
[π, β) or (ββ, π] closed half line
(π, β) or (ββ, π) open half line
union
Functions
Notation
Terminology
Explanation and Examples
πβΆ π΄βπ΅
function
A function π from the set π΄ to the set π΅ is a rule that assigns every element
π₯ β π΄ a unique element π (π₯) β π΅.
The set π΄ is called the domain and represents all possible (or desirable) βinputsβ, the set π΅ is called the codomain and contains all potential βoutputsβ.
π₯ ξΆβ π (π₯)
is mapped to
The function maps π₯ to the value π (π₯).
Examples:π βΆ β β β, π ξΆβ π(π) βΆ= πππ . A function from β to β given by πππ ;
π βΆ β β β, π₯ ξΆβ π (π₯) βΆ= 1 + π₯2 . A function from β to β given by 1 + π₯2 ;
β βΆ β β [0, β), π§ ξΆβ β(π§) βΆ= |π§|. A function from β to [0, β) given by |π§|.
im(π )
image or range
The set of elements either in π΄ or in π΅.
More formally: (π₯ β π΄ βͺ π΅) β (π₯ β π΄ or π₯ β π΅).
surjective or onto
The set of elements that are in π΄ and in π΅.
More formally: (π₯ β π΄ β© π΅) β (π₯ β π΄ and π₯ β π΅).
injective or one-to-one A function π βΆ π΄ β π΅ is called injective if im(π ) = π΅, that is, every point in
the image comes from exactly one point in the domain π΄.
More formally: If π1 , π2 β π΄ are such that π (π1 ) = π (π2 ), then π1 = π2 .
Examples:{1, 4, 7} β© {1, 2, 3, 5, 6, 7} = {1, 7}
Note:We can look at the intersection of an arbitrary collection of sets: The set of
objects that appear in every set in the collection.
π΄β§΅π΅
complement
The set of elements that are in π΄ but not in π΅.
More formally: (π₯ β π΄ β§΅ π΅) β (π₯ β π΄ and π₯ β π΅).
Examples:{1, 4, 5, 7} β§΅ {1, 2, 3, 6, 7} = {4, 5}
A function π βΆ π΄ β π΅ is called surjective if im(π ) = π΅, that is, the codomain
coincides with the range.
More formally: For every π β π΅ there exists π β π΄ such that π (π) = π.
Note:π βΆ π΄ β im(π ) is always surjective. The choice of codomain is quite
arbitrary. We often just state the general objects rather than the image or range.
For instance function values are in β if we are not intested in the image.
Note:We can look at a union of an arbitrary collection of sets: The set of objects
that appear in at least one of the sets in the collection.
intersection
The set of values π βΆ π΄ β π΅ attains: im(π ) βΆ= {π (π₯) βΆ π₯ β π΄} β π΅.
Examples:π βΆ β β β, π₯ ξΆβ π (π₯) βΆ= π₯2 . The codomain is β, the image or
range is [0, β).
Examples:{1, 4, 7} βͺ {4, 5, 8} = {1, 4, 5, 7, 8} (elements are not repeated in a
union if they appear in both sets!)
π΄β©π΅
If π β β, then [π, β) is the set of real numbers larger than or equal to π, and
(ββ, π] is the set of real numbers less than or equal to π
If π β β, then (π, β) is the set of real numbers strictly larger than π, and
(ββ, π) is the set of real numbers strictly less than π
Examples:(0, β) set of all positive real numbers; (ββ, 5] set of all real numbers less than or equal to 5.
Examples:β β β, {1, 4, 7} β {1, 2, 3, 4, 5, 6, 7}
π΄βͺπ΅
If π, π β β with π β€ π the open interval is the set {π₯ β β β£ π < π₯ < π}
π β1
bijective
A function π βΆ π΄ β π΅ is called bijective if it is surjective and injective.
inverse function
A function π βΆ π΄ β π΅ is called invertible if it is bijective. The inverse function π β1 βΆ π΅ β π΄ is defined as follows: Given π β π΅ take the unique point
π β π΄ such that π (π) = π and set π β1 (π) βΆ= π (by surjectivity such π exists,
by injectivity it is unique).
© Copyright 2026 Paperzz