d'arrivée F et son graphe G.
Ensemble F(E, F ) des applications de E dans
F.
Ensemble EI des familles d'éléments d'un
ensemble E indexées par un ensemble I.
Composée de deux applications, application
identique. Restriction et prolongement d'une
application.
Equations, applications injectives, surjectives,
bijectives.
Applications réciproque d'une bijection.
Composée de deux Injections, de deux
surjections, de deux bijections.
Définition des images directe et réciproque
d'une partie ; comptabilité de l'image réciproque
avec les opérations sur les parties.
Fonction caractéristique d'une partie, lien avec
les opérations sur les parties.
Définitions d'une loi de composition interne.
Associativité, commutativité, élément neutre.
Définition d'un monoide, éléments inversibles.
Notations additive et multiplicative d'une loi de
composition.
pour la composition des applications.
Le programme ne distingue pas les notions de
fonction et d'application. La notion de
correspondance entre deux ensembles est hors
programme.
Aucune connaissance spécifique sur les images
directes et leurs relations avec les images
réciproques n'est exigible des étudiants.
Tout développement sur les monoides est hors
programme.
Relations d'ordre
Définition d'une relation d'ordre, ordre total,
ordre partiel.
Majorants, minorants, plus grand et plus petit
élément.
La notion de borne supérieure (ou inférieur )
n'est étudiée que dans le cadre des nombres
réels et des fonctions à valeurs réelles. La
notion d'élément maximal est hors programme.
• Nombres entiers naturels, ensembles finis, dénombrement
a. Nombres entiers naturels