Eine Eigenschaft abstrakter Mengen. (Q2595509)

Eine Teilmenge \(E_{1}\) einer (unendlichen) Menge \(E\) heißt Hälfte von \(E\), wenn die drei Mengen \(E\), \(E_{1}\), \(E - E_1\) gleichmächtig sind. Dann wird gezeigt: Man kann jeder Hälfte \(A\) der Menge \(E\) eine Teilmenge \(\varphi (A)\subset A\) zuordnen, so daß \(\varphi (A)\) stets Hälfte von \(A\) ist und daß weiter für jede Folge von Mengen \(E_1\), \(E_{2}\),\dots, die die Bedingung \[ E_{n+1}\subset \varphi (E_n)\subset E \] erfüllen, die Relation besteht: \[ E_1\cdot \varphi (E_1)\cdot E_2\cdot \varphi (E_2)\ldots=0. \] Der Beweis wird mit Hilfe der Wohlordnung geführt.