text: В этом случае функциональный тип, следуя математической традиции, обычно записывают как A → B {\displaystyle A\to B} (в практических языках программирования — A -> B), или как B A {\displaystyle B^{A}} , подразумевая, что существует ровно | B | | A | {\displaystyle |B|^{|A|}} теоретико-множественных функций, отображающих A {\displaystyle A} на B {\displaystyle B} .