Solution d'un problème de la théorie des relations. (Q2601653)

\(E\) sei eine nicht abzählbare Menge und \(R\) eine in dieser Menge definierte Relation, derart, daß für jedes \(x\) die Anzahl der \(y\), für die \(Rxy\) besteht, endlich ist. Es wird dann allgemein gezeigt, daß eine Teilmenge \(E_1\) existiert, die mit ihr gleichmächtig und so beschaffen ist, daß für zwei verschiedene Elemente \(x\) und \(y\) von \(E_1\) niemals \(Rxy\) richtig ist. Mit einer schwächeren Behauptung bzw. unter schärferen Voraussetzungen haben diesen Satz \textit{Grünwald} und \textit{Sierpiński} veröffentlicht (vgl. die beiden vorstehenden Besprechungen).