Non-zero natural number
Set
definiendum
$ \mathbb N^* \equiv \mathbb N\setminus \{0\} $
Discussion
Parents
Refinement of
Non-zero integer
Subset of
Natural number