Umocňování: Porovnání verzí

Užitečná definice, z oblasti [[teorie množin]] říká, že pro množiny <math>A, B</math> je <math>A^B = \{f | f: B \rightarrow A \}</math> čili množina všech [[zobrazení (matematika)|zobrazení]] množiny <math>B</math> do množiny <math>A</math>, tedy takových zobrazení, kterékterá každému prvku z <math>B</math> přiřazují právě jeden prvek z <math>A</math>. Jsou-li obě množiny konečné, pak počet takových zobrazení je <math>\left| A^B \right| = |A|^{|B|}</math>, přičemž klademe 0⁰&nbsp;=&nbsp;1 (viz [[#Nula na nultou]]). Příklad: