maps into

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

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENmaps into

FRest une application vers

Symbol

f : A \to B

Notation systems

AsciiMath

f: A -> B

LaTeX

f : A \to B

Definition

$f$ maps $A$ into $B$

$f$ est une application de $A$ vers $B$

$dom f = A$ and $ran f \subseteq B$

It is not necessary that all elements of $B$ are values of the function $f$ .

$dom f = A$ et $ran f \subseteq B$

Il n'est pas nécessaire que tous les éléments de $B$ soient des valeurs de la fonction $f$ .

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

isq:t2-12.5

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-12.5
skosxl:prefLabel	"maps into"@en
skosxl:altLabel	"f: A -> B"@en
skos:definition	stem:[f] maps stem:[A] into stem:[B]
skos:note	stem:["dom "f = A] and stem:["ran "f sube B] It is not necessary that all elements of stem:[B] are values of the functi…
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-12