Heaviside function

The Heaviside function is the D218: Basic boolean function $$\mathbb{R} \to \{ 0, 1 \}, \quad x \mapsto \begin{cases} 1, \quad & x \geq 0 \\ 0, \quad & x < 0 \end{cases}$$

The Heaviside function is the D218: Basic boolean function $$\mathbb{R} \to \{ 0, 1 \}, \quad x \mapsto I_{[0, \infty)}(x)$$
Also known as
Heaviside step function