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