Well-ordering principle

Well-ordering principle: Every nonempty subset $S\subseteq\mathbb{N}$ has a least element (with respect to the usual order on $\mathbb{N}$); that is, there exists $m\in S$ such that $m\le s$ for all $s\in S$.