congruent to, modulo

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENcongruent to, modulo

FRcongruent à modulo

Symbol

n \equiv k mod m

Notation systems

AsciiMath

n -= k " mod " m

LaTeX

n \equiv k \text{ mod } m

Definition

$n$ is congruent to $k$ modulo $m$

$n$ est congruent à $k$ modulo $m$

For integers $n$ , $k$ and $m$ :

$m ∣ (n - k)$

This concept of number theory must not be confused with identity of an equation, mentioned in equality, column 4.

Pour les entiers $n$ , $k$ et $m$ :

$m ∣ (n - k)$

Ce concept de théorie des nombres ne doit pas être confondu avec l'identité d'une équation, mentionnée au equality, colonne 4.

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

isq:t2-8.18

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-8.18
skosxl:prefLabel	"congruent to, modulo"@en
skosxl:altLabel	"n -= k " mod " m"@en
skos:definition	stem:[n] is congruent to stem:[k] modulo stem:[m]
skos:note	For integers stem:[n], stem:[k] and stem:[m]: stem:[m ∣ (n - k)] This concept of number theory must not be conf…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-8