surjection

Definitions:

  • A function that is onto.
  • A <xref>function</xref> of "many-to-one" mapping relationship; more formally, f: X → Y is a surjection if and only if, for every y in the <xref>codomain</xref> Y, there is at least one x in the <xref>domain</xref> X with f(x) = y.
powered by