Ein Beitrag zur Theorie der geordneten Mengen. (Q2590732)

In einer geordneten Menge M werden der Begriff des Intervalls, der Menge aller \(x\) mit \(a \leqq x \leqq b\) (\(a \leqq b\)) eingeführt und die möglichen Lagebeziehungen der Intervalle betrachtet. Eine unendliche Folge von Intervallen, für die jedes Intervall das nächstfolgende enthält, heißt eine Schachtel. Für Schachteln lassen sich dann ebenfalls Lagebeziehungen definieren. Eine Menge \(S\) von Schachteln nennt Verf. spaltbar, wenn \(S\) mit je zwei verschränkten Schachteln auch eine beiden Schachteln gemeinsame Oberschachtel enthält; z. B. ist die Menge aller konvergenten Schachteln von \(M\) spaltbar. Jede spaltbare Schachtelmenge \(S\) kann man in Äquivalenzklassen aufteilen, welche eine geordnete Menge \(\varSigma\) bilden; enthält dabei jede mögliche Schachtel aus \(M\) eine von \(S\), so ist \(\varSigma\) abgeschlossen geordnet. Eine geordnete Menge heißt dabei abgeschlossen geordnet, wenn jede Schachtel von \(M\) wenigstens ein Element von M enthält. Der Begriff der abgeschlossen geordneten Menge umfaßt den Begriff der geordneten Menge ohne Lücken.