EDB — 25Q

view in whole PDF view in whole HTML

Vista

Italiano

Esercizi

  1. [25Q]Prerequisiti:[01R],[224].Se \(A\) è un insieme dove \(∈\) è transitiva, definiamo

    \[ x≤ y ≐ x∈ y∨ x=y \]

    si mostri che \(x≤ y\) è una relazione d’ordine in \(A\) (possibilmente parziale).

    Soluzione 1

    [25S]

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