Summation over finite sets, definition

Let $X$ be a set with $n\in \mathbb{N}$ elements and let $f:X\to \mathbb{N}$ be a function from $X$ to the real numbers. Then we define the finite sum $\sum _{x\in X}f(x)$ as follows.