Definition:Negative/Real Number

From ProofWiki
Jump to navigation Jump to search

Definition

The negative real numbers are the set defined as:

$\R_{\le 0} := \set {x \in \R: x \le 0}$

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


Also known as

In order to remove all confusion as to whether negative real number may be intended to mean strictly negative real number, the use of the term non-positive real number or nonpositive real number is often recommended instead.


The $\mathsf{Pr} \infty \mathsf{fWiki}$-specific notation $\R_{\le 0}$ is actually non-standard. The conventional symbols to denote this concept are $\R_-$ and $\R^-$, but these can be confused with the set $\set {x \in \R: x < 0}$, as well as notation for topological set closure.


Also see

  • Results about negative real numbers can be found here.


Sources