I.5 Symboles et conventions
- On utilisera le symbole ''\(:=\)'' pour définir des objets. Par
exemple,
\[
A:= \{x\in \mathbb{Q}\,|\,x^2<2\}
\] signifie ''\(A\)
est défini par l'ensemble de tous les rationnels \(x\) dont le carré est
strictement inférieur à \(2\)''.
- ''\(\square\)'' est équivalent à ''C.Q.F.D'', et sera utilisé pour
indiquer la fin d'une démonstration.
- ''\(\exists\)'' signifie ''il existe...''.
- ''\(\exists !\)'' signifie ''il existe un/une unique...''.