EDB — 25Q

Esercizi

1. [25Q]Prerequisiti:[01R]↺↻,[224]↺↻.Se $A$ è un insieme dove $\in$ è transitiva, definiamo

   $$x\le y\doteq x\in y\vee x=y$$

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

   Soluzione 1

   [25S]↺↻