A maximum of a subset
A⊆R is an element m∈A such that x≤m for every x∈A.
If a maximum exists, it is unique and equals the supremum
of A. Many sets have a supremum but no maximum (for instance, open intervals).
Examples:
- For A=[0,1], the maximum is 1.
- For A={2,5,3}, the maximum is 5.