===== Non-zero natural number =====
==== Set ====
| @#FFBB00: definiendum | @#FFBB00: $ \mathbb N^* \equiv \mathbb N\setminus \{0\} $ |

==== Discussion ====
==== Parents ====
=== Refinement of ===
[[Non-zero integer]]
=== Subset of ===
[[Natural number]]