1: \begin{definition}

2: We say that $u \in BV(\Omega)$ is a function of least gradient if for every compactly supported $\phi \in BV(\Omega)$, we have 

3: \begin{equation*}

4: \int_\Omega |D u| \leq \int_\Omega |D(u + \phi)|.

5: \end{equation*}

6: Let us note that due to \cite[Theorem 2.2]{Ziemer}, we may equivalently assume that $\phi$ has trace zero. We also say that $u$ is a solution of the least gradient problem for $g \in L^1(\partial\Omega)$ in the sense of traces, if $u$ is a least gradient function such that $Tu = g$.

7: \end{definition}

8: