Concept history

Concept created

##### Intuition
Un ensemble fini est un [[ensemble|ensemble]] qui contient un nombre fini d'éléments.

##### Définition formelle
Un ensemble $E$ est fini s'il existe un entier $n\in \N$ tel que $E$ soit en [[Bijective map|bijection]] avec
$$\{1,\ldots,n\}.$$
On dit alors que $E$ a pour [[Cardinal|cardinal]] $n$, et on écrit :
$$|E|=n.$$

##### Remarques