Surjection/Definition

From Maths
Jump to: navigation, search

Given a function f:XY, we say f is surjective if:

  • yYxX[f(x)=y]
  • Equivalently yY
    the set f1(y)
    is non-empty. That is f1(y)