B ist unendlich genau dann wenn eine Partition existiert mit:

Sei X nicht leer.Zeige: X ist unendlich genau dann wenn es eine Partition \(\{X_i\}_{i\in I}\) mit \(I\) unendlich und \(X_i\) gleichmächtig wie X für jedes \(i\in I\)