Section 2-714 entries
2-7.9
right half-open interval
https://metanorma.github.io/isq-smart/math/part-2-7/t2-7.9 urn:iso:std:iso:80000:-2:ed-2:en:item:2-7.9
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-7.9IEC
urn:iec:std:iec:80000-2:2019:::item:2-7.9Designations
ENright half-open interval
FRintervalle semi-ouvert à droite
Symbol
Notation systems
AsciiMath
[a, b)LaTeX
[ a , b )Definition
EN
right half-open interval from included to excluded
FR
intervalle semi-ouvert à droite de inclus à exclu
Notes
EN
The notation is also used.
FR
La notation est aussi utilisée.
Ontology
Class Hierarchy
A mathematical concept as defined in ISO/IEC 80000 Part 2.
Instance IRI
isq:t2-7.9Properties
| Property | Value |
|---|---|
| rdf:type | |
| dcterms:identifier | 2-7.9 |
| skosxl:prefLabel | "right half-open interval"@en |
| skosxl:altLabel | "[a, b)"@en |
| skos:definition | right half-open interval from stem:[a] included to stem:[b] excluded |
| skos:note | stem:[[a, b) = {x in bb(sf(R)) ∣ a <= x < b}]
The notation stem:[[a, b[] is also used.
|
| smart:hasBindingnessType | |
| dcterms:isPartOf |