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

==== Discussion ====
==== Parents ====
=== Subset of ===
[[Real number]]