Наибольший (наименьший) элемент

$X \sube \R, x_0 \in X$, $x_0$ называется наибольшим элементом $X$, если $\forall x \in X \Rightarrow x \leq x_0$.

Обозначают $x_0 = max X$

Аналогичное определение для наименьшего элемента