Esercizio
172
[1YM]Prerequisiti:[01R],[(3.171)],[24V]. 1 Mostrate che
\[ x=y \iff S(x) = S(y) \quad . \]
In particolare questo dimostra che, se \(A\) è un insieme S-saturo, allora è ben definita la funzione \(S:A→ A\), il cui grafico è la relazione
\[ \{ (x,y)∈ A^ 2 : y=S(x) \} \quad ; \]
inoltre \(S\) è iniettiva.
Soluzione
1