**Definition** The function $f: \mathbb{R} \to \mathbb{R}$ defined by $f(x)=\begin{cases} 1 & x \in \mathbb{Q} \\ 0 & x \not \in \mathbb{Q} \end{cases}$ See variant [[Thomae's function]]. See Property [[Rational indicator function is everywhere discontinuous]].