ISQ
8 / 19
2-8.8

congruent to

URNurn:iso:std:iso:80000:-2:ed-2:en:item:2-8.8
Download RDF.jsonld.ttl
https://metanorma.github.io/isq-smart/math/part-2-8/t2-8.8
urn:iso:std:iso:80000:-2:ed-2:en:item:2-8.8
ISQ Identifiers
ISO
urn:iso:std:iso:80000:-2:ed-2:en:item:2-8.8
IEC
urn:iec:std:iec:80000-2:2019:::item:2-8.8
Designations
ENcongruent to
FRcongruent à
Symbol
M ≅ N
Notation systems
AsciiMath
M ~= N
LaTeX
M \cong N

Definition

EN

M is congruent to N , +

M is isomorphic to N

FR

M est congruent à N , +

M est isomorphe à N

Notes

EN

M and N are point sets (geometrical figures).

This symbol is also used for isomorphisms of mathematical structures.

FR

M et N sont des ensembles de points (figures géométriques).

Ce symbole est aussi utilisé pour les isomorphismes de structures mathématiques.

Ontology

Class Hierarchy

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

Instance IRI

isq:t2-8.8
PropertyValue
rdf:type
dcterms:identifier
2-8.8
skosxl:prefLabel
"congruent to"@en
skosxl:altLabel
"M ~= N"@en
skos:definition
stem:[M] is congruent to stem:[N], + stem:[M] is isomorphic to stem:[N]
skos:note
stem:[M] and stem:[N] are point sets (geometrical figures). This symbol is also used for isomorphisms of mathematical s…
smart:hasBindingnessType
dcterms:isPartOf