previous up next
Go backward to Image
Go up to Top
Go forward to Illustration
RISC-Linz logo

Function Properties

Definition: Let f: A -> B. f is injective (one-to-one) if it does not map different arguments to the same result:

f: A ->injective B : <=>
   f: A -> B /\  (forall x0 in A, x1 in A: f(x0) = f(x1) => x0 = x1).
f is surjective (onto) if every element of B is hit by some argument:
f: A ->surjective B : <=> f: A -> B /\  (forall y in B: exists x in A: f(x) = y).
f is bijective if it is injective and surjective:
f: A ->bijective B : <=> f: A ->injective B /\  f: A ->surjective B.

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next