Subset/Examples/Initial Segment is Subset of Integers

The (one-based) initial segment of the natural numbers $\N^*_{\le n}$ of integers $\Z$ is a proper subset of the set of integers $\Z$:
$\N^*_{\le n} \subsetneq \Z$