infimum
Very LowTechnical / Academic
Definition
Meaning
In mathematics, the greatest element that is less than or equal to all elements of a given set.
A term from order theory and real analysis denoting the greatest lower bound of a subset of a partially ordered set. In a set of real numbers, it is the largest number that is not greater than any number in the set.
Linguistics
Semantic Notes
The concept is dual to 'supremum' (least upper bound). For a set that has a minimum element, the infimum and minimum are the same. The term is primarily used in pure and applied mathematics, computer science (especially lattice theory), and formal logic.
Dialectal Variation
British vs American Usage
Differences
No significant differences in meaning or usage. Spelling and pronunciation are identical.
Connotations
Purely technical with no regional connotations.
Frequency
Extremely rare in general discourse in both regions, confined to specialised academic and technical contexts.
Vocabulary
Collocations
Grammar
Valency Patterns
The infimum of [SET]to find/take/calculate the infimuminfimum exists/is equal toVocabulary
Synonyms
Neutral
Weak
Vocabulary
Antonyms
Usage
Context Usage
Business
Virtually never used.
Academic
Exclusively used in mathematics, computer science, and related theoretical disciplines.
Everyday
Not used.
Technical
Core term in order theory, real analysis, optimisation, and lattice theory.
Examples
By CEFR Level
- The infimum of the set {1, 1/2, 1/3, ...} is 0.
- To solve the problem, we first need to find the infimum of the data set.
- The infimum of a family of functions is defined pointwise.
- If the set is not bounded below, its infimum is considered to be negative infinity.
- Proving the existence of the infimum is a crucial step in the lemma.
Learning
Memory Aids
Mnemonic
Think 'IN-FIM-um': IN a set, it's the FIMal (final) point at the bottom—the greatest of the lower bounds.
Conceptual Metaphor
THE BOTTOM LINE (in a precise, mathematical sense).
Watch out
Common Pitfalls
Translation Traps (for Russian speakers)
- Do not confuse with 'нижняя грань' (which is correct). Avoid literal translations like 'инфимум' unless in a strict mathematical context; the term is a direct Latin borrowing.
Common Mistakes
- Using 'infimum' to mean 'minimum' (the minimum must be an element of the set, the infimum need not be).
- Pronouncing it as /ɪnˈfaɪməm/.
- Using it in non-mathematical contexts.
Practice
Quiz
What is the relationship between the infimum and the minimum of a set?
FAQ
Frequently Asked Questions
No. The minimum must be an element of the set. The infimum is the greatest number that is less than or equal to all elements of the set, but it does not have to be a member of the set.
Almost exclusively in mathematics (especially real analysis, order theory, optimisation) and theoretical computer science (e.g., lattice theory in formal methods).
The standard plural is 'infima', following its Latin origin. 'Infimums' is also occasionally seen but is less traditional.
The direct opposite is 'supremum' or 'least upper bound'. While 'maximum' is the opposite of 'minimum', it is not the precise dual of 'infimum'.