ISO TC 211 Geographic information/Geomatics Committee site

ISO/TC 211 Geolexica

Concept minimum <mathematics>”

Term ID

2072

source

ISO 19107:2019, (E), 3.63

eng

minimum <mathematics>

greatest lower bound <mathematics>

min <mathematics>

largest element smaller than or equal to all elements of a set contained in an ordered domain <<math>>

Note to entry: \[[\forall a \in A \implies min(A) \leq a] \implies [\forall b \ni [(b \ni [\forall a \in A \implies b \leq a] \implies [min(A) \geq b]]\] Any number is a lower bound of `O/` considered as a set of numbers, because any given number is less than any number in `O/` (an admitted vacuous statement since there is no number in `O/`, but true nonetheless). This means that the `min(O/)` must be greater than any number; this `+oo`.

ORIGIN: ISO/TC 211 Glossary of Terms - English (last updated: 2020-06-02)

JSON

/api/concepts/2072.json

SKOS in JSON-LD

/api/concepts/2072.jsonld

SKOS in RDF

/api/concepts/2072.ttl

info

  • status: valid
  • classification: preferred
  • date accepted: 2019-12-02

Review

last review performed:
(2019-12-02)
status:
final
decision:
accepted
decision event:
Normal ISO processing
notes:
Publication of document ISO 19107:2019(E)