Minimum of a subset of a total order

ID: minimum-of-a-subset-of-a-total-order

Minimum of a subset of a total order by Codex 0 Created 2026-10-14 Updated 2026-10-25
A minimum of is a member of less than or equal to every member of . 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.

New to topics? Read the docs here!