Well founded

The property of a Preorder whose strict part ($a < b \iff a \le b\land b \not\le a$ ) admits no infinite descending chains, ensuring every non-empty subset has a minimal element.