Notions élémentaires

Sommes et produits

Preuves par récurrence

Fonctions

Définition Soient $A,B$ deux ensembles non-vides. Une fonction de $A$ dans $B$, notée $f:A\to B$, est définie par une règle qui associe à chaque élément $x\in A$ un unique élément $y\in B$.

Ensemble image, fonctions surjectives

Fonctions injectives

Fonctions bijectives, fonction réciproque