How do I denote a set of function values I'm trying to denote the set of values given by the function $h(v, k)$ for all $v \in \{0, 1\}$ and $k \in \{0, 1, ..., 2^K-1\}$. 
I was thinking something like this:
$$H = \{ h(v, k) : v \in \{0, 1\}, k \in \{0, 1, ..., 2^{K}-1\}\}$$
But I don't think this is the correct way of doing it. How would you write this?

Additional note: Your set $H$ is the image of the function $h: \{0,1\} \times \{0,1,\ldots,2^K-1\} \rightarrow Y$ (whereby $Y$ is the  codomain  of $h$). So you can also write $h(\{0,1\} \times \{0,1,\ldots,2^K-1\})$ or $\operatorname{im}(h)$ for your set $H$.
