▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Collection of sets
▾ Set union
▾ Successor set
▾ Inductive set
▾ Set of inductive sets
▾ Set of natural numbers
▾ Set of integers
Integer
Formulation 0
Let $\mathbb{Z}$ be the D367: Set of integers.
Then $n$ is an integer if and only if \begin{equation} n \in \mathbb{Z} \end{equation}
Child definitions
» D5094: Positive integer