Satz absteigende Kettenbedingung

Einfache Sprache

Satz absteigende Kettenbedingung

Eine quasigeordnete Menge $(M,\precsim)$ ist genau dann Noethersch (Noethersche Quasiordnung), wenn es in $M$ keine unendliche, echt absteigende Kette $x_0\succ x_1\succ x_2\succ \ldots$ gibt.

Beweis TODO