supremum (Q1422)

From Azupedia
Revision as of 23:09, 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 least element of a partially ordered set which is greater than or equal to all elements; the least of majoring elements of a set in itself
  • sup
  • least upper bound
Language Label Description Also known as
English
supremum
when it exists, the least element of a partially ordered set which is greater than or equal to all elements; the least of majoring elements of a set in itself
  • sup
  • least upper bound

Statements