ISO TC 211 Geographic information/Geomatics

# ISO/TC 211 Geolexica

## Concept “least upper bound <mathematics>”

Term ID

2071

source

ISO 19107:2019, (E), 3.60

eng

### maximum <mathematics>

lub <mathematics>

smallest element larger than or equal to all elements of a set contained in an ordered domain <[itex]>

Note to entry: $[\forall a \in A \implies max(A) \geq a] \implies [\forall b \ni [(b \ni [\forall a \in A \implies b \geq a] \implies [max(a) \leq b]]$ Any number is an upper bound of O/ (empty set) as a set of numbers, because any given number is greater than any number in O/ (an admitted vacuous statement since there is no number in O/, but true nonetheless). This means that the max(O/) must be smaller than any number; thus -oo.

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

JSON

/api/concepts/2071.json

SKOS in JSON-LD

/api/concepts/2071.jsonld

SKOS in RDF

/api/concepts/2071.ttl

info

• status: valid
• 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)