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

$$\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)\}$$