function mapping onto

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

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENfunction mapping onto

FRest une application bijective sur

Symbol

f : A ⤖ B

Notation systems

AsciiMath

f: A >->> B

LaTeX

f : A \bij B

Definition

$f$ maps $A$ bijectively onto $B$

$f$ est une application bijective de $A$ sur $B$

$f : A ↠ B$ and $f : A ↣ B$

$f : A ↠ B$ et $f : A ↣ B$

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

isq:t2-12.8

Property	Value
rdf:type	isq:MathConcept smart:TermEntry
dcterms:identifier	2-12.8
skosxl:prefLabel	"function mapping onto"@en
skosxl:altLabel	"f: A >->> B"@en
skos:definition	stem:[f] maps stem:[A] bijectively onto stem:[B]
skos:note	stem:[f: A ->> B] and stem:[f: A >-> B]
smart:hasBindingnessType	bindingness-type:normative
dcterms:isPartOf	isq:part-2-12