ISQ
2 / 14
2-7.2

set of integers

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

Definition

EN

the set of integers

FR

ensemble des entiers + ensemble des entiers relatifs

Notes

EN

Z = { … , − 2 , − 1 , 0 , 1 , 2 , … }

Z ∗ = { n ∈ Z ∣ n ≠ 0 }

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

Z ≻ 3 = { n ∈ Z ∣ n > − 3 }

The symbol Z is also used.

FR

Z = { … , − 2 , − 1 , 0 , 1 , 2 , … }

Z ∗ = { n ∈ Z ∣ n ≠ 0 }

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

Z ≻ 3 = { n ∈ Z ∣ n > − 3 }

Le symbole Z est aussi utilisé.

Ontology

Class Hierarchy

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

Instance IRI

isq:t2-7.2
PropertyValue
rdf:type
dcterms:identifier
2-7.2
skosxl:prefLabel
"set of integers"@en
skosxl:altLabel
"bb(sf(Z))"@en
skos:definition
the set of integers
skos:note
stem:[bb(sf(Z)) = {..., -2, -1, 0, 1, 2, ...}] stem:[bb(sf(Z))** = {n in bb(sf(Z)) ∣ n != 0}] Other restriction…
smart:hasBindingnessType
dcterms:isPartOf