Minimum Element

Defintion

Let $A$ be a set, ordered by some order $\le :A\to A\to \mathrm{Prop}$. let $B$ be a subset of $A$. A minimum element of $B$ w.r.t. $\le$ is some element $x\in B$ such that,

\forall y \in B. x\le y $$[[]]