1: \begin{definition}
2: [{\cite[Theorem 1]{MR1914805}}]Let $F\subseteq\lbrack0,1]\cap\mathbf{Q}$ be a
3: finite subset of the rational numbers. We say that a function
4: $f:[0,1]\rightarrow\mathbf{R}$ belongs to \emph{Class }$\operatorname*{BS}(F)$
5: if the following properties hold:
6:
7: \begin{enumerate}
8: \item $f$ is Lebesgue-integrable,
9:
10: \item $f$ is almost everywhere continuous,
11:
12: \item $f$ locally bounded at every point in $[0,1]\setminus F$,
13:
14: \item for every $\beta\in F$, there exists some $\varepsilon>0$ such that
15: $f\mid_{(\beta-\varepsilon,\beta)}$ is bounded or monotone,
16:
17: \item for every $\beta\in F$, there exists some $\varepsilon>0$ such that
18: $f\mid_{(\beta,\beta+\varepsilon)}$ is bounded or monotone.
19: \end{enumerate}
20:
21: We call $F$ the set of (possible) \emph{singularities}. If $f:[0,1]\rightarrow
22: \mathbf{C}$ is complex-valued, we say $f\in\operatorname*{BS}(F)$ if both real
23: and imaginary part belong to $\operatorname*{BS}(F)$.
24: \end{definition}