Definition:Surjection/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $f: S \to T$ be a mapping from $S$ to $T$.


$f: S \to T$ is a surjection if and only if:

$\forall y \in T: \exists x \in \Dom f: \map f x = y$

That is, if and only if $f$ is right-total.


Thus a surjection is a relation which is:

Left-total
Many-to-one
Right-total.


Also known as

The phrase $f$ is surjective is often used for $f$ is a surjection.

Authors who prefer to limit the jargon of mathematics tend to use the term an onto mapping for a surjection, and onto for surjective.

A mapping which is not surjective is thence described as into.


A surjection $f$ from $S$ to $T$ is sometimes denoted:

$f: S \twoheadrightarrow T$

to emphasize surjectivity.


In the context of class theory, a surjection is often seen referred to as a class surjection.


Also see

  • Results about surjections can be found here.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Surjection/Definition_1&oldid=680788"