EDB — 25Q

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]↺↻