Subset/Examples/Initial Segment is Subset of Integers

From ProofWiki
Jump to navigation Jump to search

Example of Subset

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$


Sources