maps onto

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

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENmaps onto

FRest une application sur

Symbol

x \overset{f}{\to} y

f : x & # 8614; y

Notation systems

AsciiMath

x overset(f)(->) y

AsciiMath

f : x ↦ y

LaTeX

x \overset{f}{\to} y

LaTeX

f : x \& \# 8614 ; y

Definition

$f (x) = y$ , +

$f$ maps $x$ onto $y$

$f (x) = y$ , +

$f$ applique $x$ sur $y$

[example]

$π \overset{cos}{\to} - 1$

[example]

$π \overset{cos}{\to} - 1$

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

isq:t2-12.12

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-12.12
skosxl:prefLabel	"maps onto"@en
skosxl:altLabel	"x overset(f)(->) y"@en"f : x ↦ y"@en
skos:definition	stem:[f(x) = y], + stem:[f] maps stem:[x] onto stem:[y]
skos:note	[example] stem:[pi overset("cos")(->) -1]
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-12