Vista
Italiano
Teorema
184
[24D] Consideriamo la relazione d’ordine \(⊆ \) su \(ℕ\); allora
\begin{equation} ∀ x,y ∈ ℕ , (x ⊆ Sy∧ x≠ Sy) \iff (x ⊆ y ) \quad . \label{eq:subseteq_ caratt_ le_ N} \end{equation}
185
Questo sarà dimostrato nell’Esercizio [26P].
Scarica PDF
