ISQ
14 / 14
2-7.14

open unbounded interval

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-7.14
Download RDF.jsonld.ttl
https://metanorma.github.io/isq-smart/math/part-2-7/t2-7.14
urn:iso:std:iso:80000:-2:ed-2:en:item:2-7.14
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-7.14
IEC
urn:iec:std:iec:80000-2:2019:::item:2-7.14
Designations
ENopen unbounded interval
FRintervalle illimité ouvert
Symbol
( a , + ∞ )
Notation systems
AsciiMath
(a, +oo)
LaTeX
( a , + \infty )

Definition

EN

open unbounded interval onward from a excluded

FR

intervalle illimité ouvert commençant en a exclu

Notes

EN

( a , + ∞ ) = { x ∈ R ∣ a < x }

The notations ( a , ∞ ) , \ a, +oo[] and \ a, oo[] are also used.

FR

( a , + ∞ ) = { x ∈ R ∣ a < x }

Les notations ( a , ∞ ) , \ a, +oo[] et \ a, oo[] sont aussi utilisées.

Ontology

Class Hierarchy

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

Instance IRI

isq:t2-7.14
PropertyValue
rdf:type
dcterms:identifier
2-7.14
skosxl:prefLabel
"open unbounded interval"@en
skosxl:altLabel
"(a, +oo)"@en
skos:definition
open unbounded interval onward from stem:[a] excluded
skos:note
stem:[(a, +oo) = {x in bb(sf(R)) &#x2223; a < x}] The notations stem:[(a, oo)], stem:[\]a, +oo[] and stem:[\]a, oo[] ar…
smart:hasBindingnessType
dcterms:isPartOf