ISQ
3 / 14
2-7.3

set of rational numbers

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

Definition

EN

the set of rational numbers

FR

ensemble des nombres rationnels + ensemble des rationnels

Notes

EN

Q ∗ = { r ∈ Q ∣ r ≠ 0 }

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

Q < 0 = { r ∈ Q ∣ r < 0 }

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

FR

Q ∗ = { r ∈ Q ∣ r ≠ 0 }

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

Q < 0 = { r ∈ Q ∣ r < 0 }

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

Ontology

Class Hierarchy

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

Instance IRI

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