suivant : Exercice 9 remonter : 4.1 Rappels de théorie précédent : Exercice 8

4.1.6 Applications

Définition 4.1.11   Une relation $f$ entre deux ensembles $A$ et $B$ est un sous-ensemble de $A \times B$.

Etant donné deux éléments $x \in A$ et $y \in B$, si $(x, y) \in f$, alors on dit que $f$ associe $y$ à $x$. L'ensemble des éléments qui sont associés à $x$ est $\{y \vert (x,y) \in f\}$.

Définition 4.1.12   Une relation $f$ entre deux ensembles $A$ et $B$ est une application si $\forall a \in A, \vert\{b \vert (a, b) \in f\}\vert = 1$

Plus explicitement, $f$ est une application si à tout élément de $A$ est associé exactement un élément de $B$. On dit alors que $f$ est une application de $A$ dans $B$, ce qui se note $f : A \longrightarrow B$. On dit par abus de langage que $A$ est l'ensemble de départ et $B$ l'ensemble d'arrivée.