Section 2-1022 entries
2-10.15
supremum
https://metanorma.github.io/isq-smart/math/part-2-10/t2-10.15 urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.15
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-10.15IEC
urn:iec:std:iec:80000-2:2019:::item:2-10.15Designations
ENsupremum
FRborne supérieure
Symbol
Notation systems
AsciiMath
"sup "MLaTeX
\text{sup } MDefinition
EN
supremum of
FR
borne supérieure de
Notes
EN
Smallest upper bound of a non-empty set of numbers bounded from above.
FR
Plus petit majorant d'un ensemble non vide majoré de nombres.
Referenced by
Ontology
Class Hierarchy
A mathematical concept as defined in ISO/IEC 80000 Part 2.
Instance IRI
isq:t2-10.15Properties
| Property | Value |
|---|---|
| rdf:type | |
| dcterms:identifier | 2-10.15 |
| skosxl:prefLabel | "supremum"@en |
| skosxl:altLabel | ""sup "M"@en |
| skos:definition | supremum of stem:[M] |
| skos:note | Smallest upper bound of a non-empty set of numbers bounded from above. |
| smart:hasBindingnessType | |
| dcterms:isPartOf |