[22M]Prerequisiti:[02W]↺↻,[04J]↺↻.Similmente se \(A\) è infinito e \(B\) è finito mostrate che \(|A|=|A⧵ B|\) usando il fatto che per ogni insieme infinito \(X\) esiste una funzione \(g:ℕ→ X\) iniettiva.
[22N]↺↻
