Definizione
170
[24X]Dato \(x\) si definisce il successore come
\begin{equation} S(x) {\stackrel{.}{=}}x ∪ \{ x\} \quad . \label{eq:successore} \end{equation}
171
Spesso scriveremo \(Sx\) invece di \(S(x)\) per semplicità.
Diciamo che un insieme \(A\) è S-saturo se \(∅∈ A\) e se per ogni \(x∈ A\) si ha \(S(x)∈ A\). 1