corresponds to

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENcorresponds to

FRcorrespond à

Symbol

a ≙ b

Notation systems

AsciiMath

a ≙ b

LaTeX

a ≙ b

Definition

$a$ corresponds to $b$

$a$ correspond à $b$

[example] ==== When $E = k T$ , then $1 unitsml(eV) ≙ 11604.5 unitsml(K)$ .

When $1 unitsml(cm)$ on a map corresponds to a length of $10 unitsml(km)$ , one may write $1 unitsml(cm) ≙ 10 unitsml(km)$ .

The correspondence is not symmetric. ====

[example] ==== Si $E = k T$ , alors $1 unitsml(eV) ≙ 11604.5 unitsml(K)$ .

Si $1 unitsml(cm)$ sur une carte correspond à une longueur de $10 unitsml(km)$ , il est possible d'écrire $1 unitsml(cm) ≙ 10 unitsml(km)$ .

La correspondance n'est pas symétrique. ====

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

isq:t2-8.4

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-8.4
skosxl:prefLabel	"corresponds to"@en
skosxl:altLabel	"a ≙ b"@en
skos:definition	stem:[a] corresponds to stem:[b]
skos:note	[example] ==== When stem:[E = kT], then stem:[1 "unitsml(eV)" ≙ 11604.5 "unitsml(K)"]. When stem:[1 "unitsml(cm)…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-8