next up previous contents
suivant : B.2.2 Opérations ensemblistes remonter : B.2.1 Définition précédent : B.2.1.1 Définition à l'aide

B.2.1.2 Ensemble vide

$F$ est le prédicat constant prenant toujours la valeur ''faux''.

Définition B.2.3   On note $\emptyset$ l'ensemble vide défini comme suit

\begin{displaymath}\emptyset = \{i \vert F\} \end{displaymath}

$\emptyset$ est l'ensemble auquel n'appartient aucun élément. L'ensemble vide peut être défini par tout prédicat constant étant toujours faux. Par exemple,


\begin{displaymath}\emptyset = \{i \vert (i \in N) \wedge (i = i + 1)\} \end{displaymath}


next up previous contents
suivant : B.2.2 Opérations ensemblistes remonter : B.2.1 Définition précédent : B.2.1.1 Définition à l'aide
Alexandre
2009-07-20