1: \begin{definition}

2:   Given a multigraph $G$, a subgraph $M \subset G$, and an integer $k \geq 1$,

3:   for each $v \in V(G)$ we define vertex sets $\Fk{v}$ and $\Uk{v}$ by

4:   \begin{align*}

5:     \Fk{v} &= \{w \in N(v) \st d_M(w) \leq k - \mu_G(v,w)\}, \\

6:     \Uk{v} &= \{w \in \Fk{v} \st \mu_M(v,w) < \mu_G(v,w)\}.

7:   \end{align*}

8:   We also write $\dF{v}$ for $d_{\Fk{v}}(v)$, that is, $\dF{v}$ is the total number

9:   of edges from $v$ to the vertices in $\Fk{v}$. The superscript here is meant to emphasize

10:   that the $F$ in this notation is a set depending on $v$, rather than being a fixed set

11:   as in Theorem~\ref{thm:simple-main}. Figure~\ref{fig:fu-illustration} illustrates

12:   the definition of $\Fk{v}$ and $\Uk{v}$.

13: \end{definition}