equality

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENequality

FRégal à

Symbol

a = b

Notation systems

AsciiMath

a = b

LaTeX

a = b

Definition

$a$ is equal to $b$ +

$a$ equals $b$

$a$ est égal à $b$ +

$a$ égale $b$

The symbol $\equiv$ may be used to emphasize that a particular equality is an identity, i.e. holds universally.

But see congruent to, modulo for another meaning.

Le symbole $\equiv$ peut être utilisé pour souligner qu'une égalité particulière est une identité, c'est-à-dire qu'elle s'applique universellement.

Mais voir congruent to, modulo pour un autre sens.

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

isq:t2-8.1

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-8.1
skosxl:prefLabel	"equality"@en
skosxl:altLabel	"a = b"@en
skos:definition	stem:[a] is equal to stem:[b] + stem:[a] equals stem:[b]
skos:note	The symbol stem:[-=] may be used to emphasize that a particular equality is an identity, i.e. holds universally. But se…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-8