Contents

# Contents

## Definition

A function $f:\mathbb{R}_D \to \mathbb{R}_D$ is locally nonzero if for all Dedekind real numbers $x \lt y$, there exists a Dedekind real number $z \in \mathbb{R}_D$ with $x \lt z \lt y$ and $\vert f(z) \vert \gt 0$.