Maximum

Definition

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