Surjective function

Metadata
shorthands: {}
aliases: [surjective, surjective function, Surjective, onto, surjection, Onto, onto function, Surjection]
created: 2021-10-18 15:55:34
modified: 2022-01-10 04:40:39

Definition

A surjective function is a function whose image is equal to its codomain.
Or equivalently a function with domain and codomain is surjective if for every there exists at least one with .

Symbolic definition

is surjective if .

Notation

Intuitively