Proposizione
232
[1Z9]Se ora fissiamo una famiglia
Proof
Questo deriva dalla Proposizione [1Z7], in quanto la relazione
è riflessiva e transitiva, e per il Teorema di Cantor–Bernstein
[1Z9]Se ora fissiamo una famiglia
Questo deriva dalla Proposizione [1Z7], in quanto la relazione
è riflessiva e transitiva, e per il Teorema di Cantor–Bernstein