closed interval

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-7.7

Download RDF.jsonld .ttl

https://metanorma.github.io/isq-smart/math/part-2-7/t2-7.7
urn:iso:std:iso:80000:-2:ed-2:en:item:2-7.7

ISQ Identifiers

ISO

urn:iso:std:iso:80000:-2:ed-2:en:item:2-7.7

IEC

urn:iec:std:iec:80000-2:2019:::item:2-7.7

Designations

ENclosed interval

FRintervalle fermé

Symbol

[a, b \]

Notation systems

AsciiMath

[a, b\]

LaTeX

[ a , b \ ]

Definition

closed interval from $a$ included to $b$ included

intervalle fermé de $a$ inclus à $b$ inclus

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

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

isq:t2-7.7

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-7.7
skosxl:prefLabel	"closed interval"@en
skosxl:altLabel	"[a, b\]"@en
skos:definition	closed interval from stem:[a] included to stem:[b] included
skos:note	stem:[[a, b\] = {x in bb(sf(R)) ∣ a <= x <= b}]
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-7