ISQ
8 / 14
2-7.8

left half-open interval

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-7.8
Download RDF.jsonld.ttl
https://metanorma.github.io/isq-smart/math/part-2-7/t2-7.8
urn:iso:std:iso:80000:-2:ed-2:en:item:2-7.8
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-7.8
IEC
urn:iec:std:iec:80000-2:2019:::item:2-7.8
Designations
ENleft half-open interval
FRintervalle semi-ouvert à gauche
Symbol
( a , b \ ]
Notation systems
AsciiMath
(a, b\]
LaTeX
( a , b \ ]

Definition

EN

left half-open interval from a excluded to b included

FR

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

Notes

EN

( a , b \ = {x in bb(sf(R)) ∣ a < x <= b}]

The notation \ a, b\]] is also used.

FR

( a , b \ = {x in bb(sf(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.8
PropertyValue
rdf:type
dcterms:identifier
2-7.8
skosxl:prefLabel
"left half-open interval"@en
skosxl:altLabel
"(a, b\]"@en
skos:definition
left half-open interval from stem:[a] excluded to stem:[b] included
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