identity relation

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

Download RDF.jsonld .ttl

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENidentity relation

FRapplication identité

Symbol

{id}_{A}

Notation systems

AsciiMath

"id"_A

LaTeX

\text{id}_{A}

Definition

identity relation on set $A$ , + diagonal of $A \times A$

application identité sur l'ensemble $A$ , + diagonale de $A \times A$

Notes

${id}_{A}$ is the set of all pairs $(x, x)$ where $x \in A$ . If the set $A$ is clear from the context, the subscript $A$ can be omitted.

${id}_{A}$ est l'ensemble de toutes les paires $(x, x)$ où $x \in A$ . Si le contexte permet de savoir clairement quel est l'ensemble $A$ considéré, l'indice $A$ peut être omis.

Ontology
isq:MathConcept smart:TermEntry

Class Hierarchy

smart:Entity smart:TermEntryisq:MathConcept

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

Instance IRI

isq:t2-6.18

Properties

isq:MathConceptShape

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-6.18
skosxl:prefLabel	"identity relation"@en
skosxl:altLabel	""id"_A"@en
skos:definition	identity relation on set stem:[A], + diagonal of stem:[A xx A]
skos:note	stem:["id"_A] is the set of all pairs stem:[(x, x)] where stem:[x in A]. If the set stem:[A] is clear from the context, …
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-6

Related Entities

isq:MathConceptShape isq:part-2-6 smart:TermEntry