EDB — 080

view in whole PDF view in whole HTML

Vista

Italiano

Esercizi

  1. [080] (Svolto il 2023-01-17) Se \(S⊆ X\) è un segmento iniziale e \(S≠ X\), mostrate che esiste ed è unico \(s ∈ X⧵ S\) (detto l’elemento successivo a \(S\)) che estende \(S\), tale cioè che \(S ∪ \{ s\} \) è un segmento iniziale.

    Soluzione 1

    [081]

    (Si noti che vi sono analogie con il concetto di "successore" visto in [1Z0]...potremmo dire che \(s\) è il successore del segmento \(S\)).

Scarica PDF
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in: Italiano Inglese