closed unbounded interval

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENclosed unbounded interval

FRintervalle illimité fermé

Symbol

[a, + \infty)

Notation systems

AsciiMath

[a, +oo)

LaTeX

[ a , + \infty )

Definition

closed unbounded interval onward from $a$ included

intervalle illimité fermé commençant en $a$ inclus

$[a, + \infty) = {x \in R ∣ a \leq x}$

The notations $[a, \infty), [a, + \infty [$ and $[a, \infty [$ are also used.

$[a, + \infty) = {x \in R ∣ a \leq x}$

Les notations $[a, \infty), [a, + \infty [$ and $[a, \infty [$ sont aussi utilisées.

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

isq:t2-7.13

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-7.13
skosxl:prefLabel	"closed unbounded interval"@en
skosxl:altLabel	"[a, +oo)"@en
skos:definition	closed unbounded interval onward from stem:[a] included
skos:note	stem:[[a, +oo) = {x in bb(sf(R)) ∣ a <= x}] The notations stem:[[a, oo), [a, +oo[] and stem:[[a, oo[] are also u…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-7