Minimum

Definition

Consider an Partially Ordered Set $X$ and a subset $Y\subset X$. The smallest element (minimum) $y_0$ of $Y$ is defined as $y_0\text{s.t.}{y}_0\in Y\text{and}\forall y\in Y,y\ge y_0$