Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathbb{N}, \mathbb{V}$ two sets, $\mathcal{P}(\ldots)$ means the power set of a set.

$\mathcal{P}({\mathbb{N}})\rightarrow \mathbb{V}$ can be the type of a function mapping a part of $\mathbb{N}$ into $\mathbb{V}$. I think $\mathcal{P}({\mathbb{N}})\rightarrow \mathbb{V} = \mathcal{P}({\mathbb{N}} \rightarrow \mathbb{V})$ always holds. Could anyone tell me what is the difference between these 2 notations? Is $\mathcal{P}({\mathbb{N}})\rightarrow \mathbb{V}$ always more conventional than $\mathcal{P}({\mathbb{N}} \rightarrow \mathbb{V})$?

share|cite|improve this question
What does the arrow indicates? (Having never seeing such notation before...) – Asaf Karagila Feb 23 '13 at 0:18
up vote 3 down vote accepted

Assuming that $\Bbb{N\to V}$ indicates the set of functions from $\Bbb N$ to $\Bbb V$, then the sets are not even the same.

  1. In $\cal P(\Bbb{N)\to V}$ we have functions mapping subsets of $\Bbb N$ to $\Bbb V$.

  2. In $\cal P(\Bbb{N\to V})$ we have sets of functions from $\Bbb N$ to $\Bbb V$.

share|cite|improve this answer
Indeed, the sets are not even same... – SoftTimur Feb 23 '13 at 0:38

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.