Potenz-Typen

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

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

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.