suivant : 4.1.2 Opérations ensemblistes remonter : 4.1.1 Définition précédent : 4.1.1.1 Définition à l'aide

4.1.1.2 Ensemble vide

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

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

$$\emptyset = \{i \vert F\}$$

$\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,

$$\emptyset = \{i \vert (i \in N) \wedge (i = i + 1)\}$$