Exercise · ZW-SURJECTIVE-FUNCTION-001 · ★☆☆ Basic

What does it mean for \(f\colon A\to B\) to be surjective?

Choose one option.

Show answer
  • A. Every element of \(B\) is the image of some element of \(A\)

Explanation

Surjective means the image \(f(A)\) covers the whole codomain: no \(b\in B\) is left unreached. The option on distinct elements having distinct images describes injectivity, and the one requiring exactly one preimage describes bijectivity, which combines injectivity and surjectivity.

Study Set theory in ZWMath →

Review the concept: Surjective function

Function \(f\colon A\to B\) whose image is the whole codomain \(B\).

\[\forall b\in B\,\exists a\in A\,(f(a)=b)\]

More practice problems: surjective function

ZW-SURJECTIVE-FUNCTION-002 →