EDB — 1Z9

[1Z9]Se ora fissiamo una famiglia $\mathcal{F}$ di insiemi di interesse, definiamo innanzitutto la relazione $A\sim B⟺|A|=|B|$; si mostra che questa è una relazione di equivalenza; dunque si ottiene che $|A|\le |B|$ è un ordinamento totale in $\mathcal{F}/\sim$.