Es sei M {\displaystyle {}M} eine Menge und es seien zwei gleichmächtige Teilmengen T 1 {\displaystyle {}T_{1}} und T 2 {\displaystyle {}T_{2}} gegeben. Es seien x 1 , x 2 ∈ M {\displaystyle {}x_{1},x_{2}\in M} mit x 1 ∉ T 1 {\displaystyle {}x_{1}\not \in T_{1}} und x 2 ∉ T 2 {\displaystyle {}x_{2}\not \in T_{2}} . Dann sind auch die Mengen T 1 ∪ { x 1 } {\displaystyle {}T_{1}\cup \{x_{1}\}} und T 2 ∪ { x 2 } {\displaystyle {}T_{2}\cup \{x_{2}\}} gleichmächtig.
