infimum (Q1418)

From Azupedia
Revision as of 22:59, 30 January 2023 by Fire (talk | contribs) (‎Created claim: part of (P7): infimum and supremum (Q1420))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
when it exists, the greatest element of a partially ordered set which is lower than or equal to all elements; the greatest of minorings of a set in itself
  • inf
  • greatest lower bound
  • maximal lower bound
Language Label Description Also known as
English
infimum
when it exists, the greatest element of a partially ordered set which is lower than or equal to all elements; the greatest of minorings of a set in itself
  • inf
  • greatest lower bound
  • maximal lower bound

Statements