Minimum of a subset of a total order
= Minimum of a subset of a total order
{title2=$\min A$}
= Minimum
{synonym}
= Minima
{synonym}
A minimum of $A$ is a member of $A$ less than or equal to every member of $A$. It equals the <infimum> when that lower bound is attained. A nonempty finite subset of a <totally ordered set> has a minimum; a nonempty open real interval does not.