Definition:Strictly Positive/Integer

From ProofWiki
Jump to: navigation, search

Definition

The strictly positive integers are the set defined as:

$\Z_{> 0} := \left\{{x \in \Z: x > 0}\right\}$

That is, all the integers that are strictly greater than zero:

$\Z_{> 0} := \left\{{1, 2, 3, \ldots}\right\}$


Also known as

Some sources to not treat $0$ as a positive integer, and so refer to:

$\Z_{> 0} := \left\{{1, 2, 3, \ldots}\right\}$

as the positive integers.

Consequently the term non-negative integers tends to be used in such sources for:

$\Z_{\ge 0} := \left\{{0, 1, 2, 3, \ldots}\right\}$


Also see


Sources