Potenz-Typen

B^A : = {f : A→B} (Menge aller Funktionen von A nach B )

ist sinnvolle Notation, denn | B|^{| A|} = $\left\vert\vphantom{B^A}\right.$B^A$\left.\vphantom{B^A}\right\vert$

spezielle Realisierungen:

• Funktionen (Unterprogramme)
• Wertetabellen (Funktion mit endlichem Definitionsbereich) (Assoziative Felder, Hashmaps)
• Felder (Definitionsbereich ist Aufzählungstyp) (Arrays)
• Zeichenketten (Strings)

die unterschiedliche Notation dafür (Beispiele?) ist bedauerlich.