Non-zero natural number

Set

definiendum $ \mathbb N^* \equiv \mathbb N\setminus \{0\} $

Discussion

Parents

Refinement of

Non-zero integer

Subset of

Natural number

Link to graph
Log In
Improvements of the human condition
limeGraphxioms