Question Number 21491 by dioph last updated on 24/Sep/17
$$\mathrm{If}\:{Y}\:\mathrm{is}\:\mathrm{a}\:\mathrm{non}−\mathrm{void}\:\mathrm{set},\:\mathrm{define}\:{Y}^{{T}} \:\mathrm{to}\:\mathrm{be} \\ $$$$\mathrm{the}\:\mathrm{collection}\:\mathrm{of}\:\mathrm{all}\:\mathrm{functions}\:\mathrm{with} \\ $$$$\mathrm{domain}\:{T}\:\mathrm{and}\:\mathrm{range}\:{Y}.\:\mathrm{Show}\:\mathrm{that} \\ $$$$\mathrm{if}\:{T}\:\mathrm{and}\:{Y}\:\mathrm{are}\:\mathrm{finite}\:\mathrm{sets}\:\mathrm{with}\:{m}\:\mathrm{and} \\ $$$${n}\:\mathrm{elements},\:\mathrm{then}\:{Y}^{{T}} \:\mathrm{has}\:{n}^{{m}} \:\mathrm{elements}. \\ $$