Non-zero real number
Set
definiendum
$ \mathbb R^* \equiv \mathbb R\setminus \{0\} $
Discussion
Parents
Subset of
Real number