Sei N eine Teilmenge von M. x ∈ N heißt:
Eine Ordnung (M, ≤) heißt noethersch, wenn jede nicht-leere Teilmenge von M ein minimales Element besitzt.