open unbounded interval

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENopen unbounded interval

FRintervalle illimité ouvert

Symbol

(- \infty, b)

Notation systems

AsciiMath

(-oo, b)

LaTeX

( - \infty , b )

Definition

open unbounded interval up to $b$ excluded

intervalle illimité ouvert finissant en $b$ exclu

$(- \infty, b) = {x \in R ∣ x < b}$

The notation $\$ -oo, b[] is also used.

$(- \infty, b) = {x \in R ∣ x < b}$

La notation $\$ -oo, b[] est aussi utilisée.

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

isq:t2-7.12

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-7.12
skosxl:prefLabel	"open unbounded interval"@en
skosxl:altLabel	"(-oo, b)"@en
skos:definition	open unbounded interval up to stem:[b] excluded
skos:note	stem:[(-oo, b) = {x in bb(sf(R)) ∣ x < b}] The notation stem:[\]-oo, b[] is also used.
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-7