Element einer halbgeordneten Menge, zu dem es kein kleineres Element gibt.

Es seien M eine Menge, ≤ eine Halbordnung auf M und A eine Teilmenge von M. Dann heißt ein Element m ∈ A ein minimales Element von A, falls es kein a ∈ A gibt mit m ≥ a und m ≠ a (Ordnungs-relation).