— Définition, cardinal d’un ensemble fini. Si E est en bijection avec un ensemble fini X, E est fini de même cardinal que X. — Sous-ensembles des ensembles finis. — Soit E un ensemble, et X un ensemble fini. S’il existe une injection de E dans X, E est fini et Card E ≤ Card X. S’il existe une surjection de X dans E, E est fini et Card E ≤ Card X. — Principe des tiroirs : il n’y a pas d’application injective de E dans F si E et F sont finis avec Card E > Card F . — Réunion disjointe finie d’ensembles finis. Réunion de deux ensembles finis. — Produit cartésien fini d’ensembles finis. — Nombre d’ applications entre deux ensembles finis. Nombre d’injections, arrangements. — Ensemble des parties d’un ensemble fini. Parties à k éléments d’un ensemble à n éléments. — Applications entre ensembles finis : soit f une application entre deux ensembles finis E et F . Alors : — f (E) est fini et Card f (E) ≤ Card E, avec égalité si et seulement si f est injective. — On a aussi Card f (E) ≤ Card F , avec égalité si et seulement si f est surjective. — On suppose Card E = Card F . Alors f est injective si et seulement si f est surjective si et seulement si f est bijective.