Maximum Function

Type: definition

The maximum function outputs a number
\[
  \max S = x
\]
given $S$ is some set of numbers, $x\in S$, and for all $y\in S$,
\[
  y \leq x.
\]
This means $x$ is the largest number in $S$.