divides, for integers

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENdivides, for integers

FRdivise, pour les entiers

Symbol

m ∣ n

Notation systems

AsciiMath

m ∣ n

LaTeX

m ∣ n

Definition

$m$ divides $n$

$m$ divise $n$

For integers $m$ and $n$ :

$\exists k \in Z$ $m \cdot k = n$

Pour les entiers $m$ et $n$ :

$\exists k \in Z$ $m \cdot k = n$

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

isq:t2-8.17

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-8.17
skosxl:prefLabel	"divides, for integers"@en
skosxl:altLabel	"m ∣ n"@en
skos:definition	stem:[m] divides stem:[n]
skos:note	For integers stem:[m] and stem:[n]: stem:[EE k in bb(sf(Z))] stem:[m*k = n]
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-8