Potenz-Typen

BA : = {f : A$ \to$B} (Menge aller Funktionen von A nach B)

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

spezielle Realisierungen:

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



Johannes Waldmann 2008-01-23