Non-zero real number

Set

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

Discussion

Parents

Subset of

Real number

Link to graph
Log In
Improvements of the human condition
limeGraphxioms