Counting Measure is Measure

Theorem
Let $\left({X, \mathcal A}\right)$ be a measurable space.

Then the counting measure $\left\vert{\cdot}\right\vert$ on $\left({X, \mathcal A}\right)$ is a measure.