ISQ
6 / 14
2-7.6

set of prime numbers

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

Definition

EN

the set of prime numbers

FR

ensemble des nombres premiers

Notes

EN

P = { 2 , 3 , 5 , 7 , 11 , 13 , 17 , … }

The symbol & # 8473 ; is also used.

FR

P = { 2 , 3 , 5 , 7 , 11 , 13 , 17 , … }

Le symbole & # 8473 ; est aussi utilisé.

Ontology

Class Hierarchy

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

Instance IRI

isq:t2-7.6
PropertyValue
rdf:type
dcterms:identifier
2-7.6
skosxl:prefLabel
"set of prime numbers"@en
skosxl:altLabel
"bb(sf(P))"@en
skos:definition
the set of prime numbers
skos:note
stem:[bb(sf(P)) = {2, 3, 5, 7, 11, 13, 17, ...}] The symbol stem:[ℙ] is also used.
smart:hasBindingnessType
dcterms:isPartOf