Well Ordering of Z

If $A\subseteq {\mathbb{Z}}^{+}$ is nonempty then $\mathrm{\exists }m\in A$ such that $m\le a$ for all $a\in A$ ($m$ is the minimal element of $A$