ISQ
4 / 14
2-7.4

set of real numbers

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-7.4
Download RDF.jsonld.ttl
https://metanorma.github.io/isq-smart/math/part-2-7/t2-7.4
urn:iso:std:iso:80000:-2:ed-2:en:item:2-7.4
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-7.4
IEC
urn:iec:std:iec:80000-2:2019:::item:2-7.4
Designations
ENset of real numbers
FRensemble des nombres réels
Symbol
R
Notation systems
AsciiMath
bb(sf(R))
LaTeX
\mathbf{\mathsf{R}}

Definition

EN

the set of real numbers

FR

ensemble des nombres réels + ensemble des réels

Notes

EN

R ∗ = { x ∈ R ∣ x ≠ 0 }

Other restrictions can be indicated in an obvious way, as shown below.

R > 0 = { x ∈ R ∣ x > 0 }

The symbols & # 8739 ; R and R are also used.

FR

R ∗ = { x ∈ R ∣ x ≠ 0 }

D'autres exclusions peuvent être indiquées de manière évidente, comme indiqué ci-dessous.

R > 0 = { x ∈ R ∣ x > 0 }

Les symboles & # 8739 ; R et R sont aussi utilisés.

Ontology

Class Hierarchy

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

Instance IRI

isq:t2-7.4
PropertyValue
rdf:type
dcterms:identifier
2-7.4
skosxl:prefLabel
"set of real numbers"@en
skosxl:altLabel
"bb(sf(R))"@en
skos:definition
the set of real numbers
skos:note
stem:[bb(sf(R))** = {x in bb(sf(R)) ∣ x != 0}] Other restrictions can be indicated in an obvious way, as shown b…
smart:hasBindingnessType
dcterms:isPartOf