ISQ
9 / 14
2-7.9

right half-open interval

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-7.9
Download RDF.jsonld.ttl
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.9
IEC
urn:iec:std:iec:80000-2:2019:::item:2-7.9
Designations
ENright half-open interval
FRintervalle semi-ouvert à droite
Symbol
[ a , b )
Notation systems
AsciiMath
[a, b)
LaTeX
[ a , b )

Definition

EN

right half-open interval from a included to b excluded

FR

intervalle semi-ouvert à droite de a inclus à b exclu

Notes

EN

[ a , b ) = { x ∈ R ∣ a ≤ x < b }

The notation [ a , b [ is also used.

FR

[ a , b ) = { x ∈ R ∣ a ≤ x < b }

La notation [ a , b [ est aussi utilisée.

Ontology

Class Hierarchy

A mathematical concept as defined in ISO/IEC 80000 Part 2.

Instance IRI

isq:t2-7.9
PropertyValue
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)) &#x2223; a <= x < b}] The notation stem:[[a, b[] is also used.
smart:hasBindingnessType
dcterms:isPartOf