ThmDex – An index of mathematical definitions, results, and conjectures.
F12129
Formulation 0
Let $\mathbb{N}$ be the D225: Set of natural numbers.
The set of euclidean natural numbers with respect to $N \in \{ 1, 2, 3, \ldots \}$ is the D11: Set \begin{equation} \mathbb{N}^N = \prod_{n = 1}^N \mathbb{N} \end{equation}