Minimum Function

Type: definition

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