natural numbers

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENnatural numbers

FRensemble des entiers naturels

Symbol

N

Notation systems

AsciiMath

bb(N)

LaTeX

\mathbf{N}

Definition

the set of natural numbers, + the set of positive integers and zero

ensemble des entiers naturels, + ensemble des entiers positifs et de zéro

Notes

$N = {0, 1, 2, 3, \dots}$

$N * = {1, 2, 3, \dots}$

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

$N_{> 5} = {n \in N ∣ n > 5}$

The symbols $& # 8739; N$ and $N$ are also used.

$N = {0, 1, 2, 3, \dots}$

$N * = {1, 2, 3, \dots}$

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

$N_{> 5} = {n \in N ∣ n > 5}$

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

Ontology
isq:MathConcept smart:TermEntry

Class Hierarchy

smart:Entity smart:TermEntryisq:MathConcept

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

Instance IRI

isq:t2-7.1

Properties

isq:MathConceptShape

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-7.1
skosxl:prefLabel	"natural numbers"@en
skosxl:altLabel	"bb(N)"@en
skos:definition	the set of natural numbers, + the set of positive integers and zero
skos:note	stem:[bb(sf(N)) = {0, 1, 2, 3, ...}] stem:[bb(sf(N))** = {1, 2, 3, ...}] Other restrictions can be indicated in an obv…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-7

Related Entities

isq:MathConceptShape isq:part-2-7 smart:TermEntry