Section 2-819 entries
2-8.8
congruent to
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.8IEC
urn:iec:std:iec:80000-2:2019:::item:2-8.8Designations
ENcongruent to
FRcongruent à
Symbol
Notation systems
AsciiMath
M ~= NLaTeX
M \cong NDefinition
EN
is congruent to , +
is isomorphic to
FR
est congruent à , +
est isomorphe à
Notes
EN
and are point sets (geometrical figures).
This symbol is also used for isomorphisms of mathematical structures.
FR
et 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.8Properties
| Property | Value |
|---|---|
| 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 |