EDB — 1Z9

view in whole PDF view in whole HTML

View

Italian

Proposizione 232

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

Proof

Questo deriva dalla Proposizione [1Z7], in quanto la relazione

ARB|A||B|

è riflessiva e transitiva, e per il Teorema di Cantor–Bernstein

|A||B||B||A|AB.

Download PDF
Managing blob in: Multiple languages
This content is available in: Italian English