Die Potenzschreibweise

• f ist eine Funktion von A in B:

  f : A→B

• die Menge der Funktionen von A in B:

  B^A = {f | f : A→B}

  (Basis = Wertebereich, Exponent = Definitionsbereich)

  für endliche Mengen gilt | B^A| = | B|^{| A|}

• Bijektion zwischen k-fachem Kreuzprodukt: A^k

  und A^K mit | K| = k

• Bijektion zwischen Potenzmenge von M

  und 2^M, wobei 2 = {0, 1} (Menge mit 2 Elementen)