Le cardinal d'un ensemble $A$ est le nombre d'éléments contenus dans $A$. On le note : $Card(A)$.
On dit qu'un ensemble $A$ est fini si $Card(A)$ n'est pas infini
Soient $A$ et $B$ deux ensembles finis disjoints, c'est-à-dire n'ayant aucun élément commun, tels que $Card(A)=n$ et $Card(B)=m$. Alors, le nombre de façons de prendre un élément dans $A$ ou un élément dans $B$ est égal à $n+m$.

La factorielle d'un nombre entier $n$ est le nombre : \[ n! = 1 \times 2\times 3\times 4\times \cdots \times (n-1) \times n. \]
Soit $E$ un ensemble à $n$ éléments, $n \in \mathbb{N}^*$. Une \textit{permutation} de $E$ est un ensemble composé des $n$ éléments de $E$.
Soit $n$ un entier naturel non nul, et soit $E$ un ensemble à $n$ éléments. Un arrangement de $p$ éléments de $E$ est une $p$-liste d'éléments distincts.
Le nombre d'arrangements de $p$ éléments pris dans un ensemble à $n$ éléments est: \[ A_n^p = \dfrac{n!}{(n-p)!}=n(n-1)(n-2)\cdots(n-p+1). \]
Soient $n$ et $p$ deux entiers naturels non nuls tels que $p \leqslant n$, et soit $E$ un ensemble à $n$ éléments. Une combinaison de $p$ éléments de $E$ est un ensemble non ordonné à $p$ éléments distincts pris parmi les $n$ éléments de $E$.
Le nombre de combinaisons de $p$ éléments d'un ensemble $E$ à $n$ éléments est égal à : \[ \dbinom{n}{p}=\dfrac{A_n^p}{p!}=\dfrac{n!}{p!(n-p)!}=\dfrac{n(n-1)\cdots(n-p+1)}{p!}. \]
Pour tous entiers naturel $n$ et $p$ tels que $p\leqslant n$ et $n\neq0$, \[ \dbinom{n}{p}=\dbinom{n-1}{p-1}+\dbinom{n-1}{p}. \]
Soient $a$ et $b$ deux réels. Pour tous entiers naturel $n$ et $p$ tels que $p\leqslant n$ et $n\neq0$,\[(a + b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k\]
On veut montrer que pour tout entier \( n \geq 0 \) :
Pour \( n = 0 \) :
La propriété est vraie au rang 0.
Supposons la propriété vraie pour un entier \( n \) :
Montrons-la pour \( n+1 \) :
On change d'indice dans la deuxième somme :
On regroupe :
La propriété est vraie pour tout entier \( n \geq 0 \).
Exemple : Lorsque $a=1$ et $b=1$. On obtient, pour tous entiers naturels $n$ et $p$ tels que $p\leqslant n$ et $n\neq0$, \[ \sum_{k=0}^n\dbinom{n}{k}=2^n. \]