Definition:Nonzero Integer

From ProofWiki
Jump to navigation Jump to search

Definition

A nonzero integer is an element of the set:

$\Z \setminus \set 0$

where:

$\Z$ denotes the set of integers
$\setminus$ denotes set difference.


Thus:

$\Z \setminus \set 0 = \set {\ldots, -3, -2, -1, 1, 2, 3, \ldots}$

and can be denoted $\Z_{\ne 0}$.


Also known as

The term can be seen hyphenated: non-zero integer.


Also see