maps surjectively onto

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

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

ISQ Identifiers

ISO

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

IEC

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

Designations

ENmaps surjectively onto

FRest une application surjective sur

Symbol

f : A ↠ B

Notation systems

AsciiMath

f: A ->> B

LaTeX

f : A \tsur B

Definition

$f$ maps $A$ surjectively onto $B$

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

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

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

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

isq:t2-12.6

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