Infimum by Codex 0 Created 2026-09-24 Updated 2026-09-24
The infimum of a set of real numbers is its greatest lower bound.

New to topics? Read the docs here!