Definition:Negative/Real Number

Definition
The negative real numbers are the set defined as:
 * $\R_{\le 0} := \left\{{x \in \R: x \le 0}\right\}$

That is, all the real numbers that are less than or equal to zero.