1: \begin{definition}\label{defn:mudefn}

2: We consider a (deterministic) nondecreasing right-continuous function $\mu:[0,T]\to \mathbb{R}^+$ such that $\mu$ is the distribution function of a measure on $[0,T]$, and $\langle M^1\rangle_t$, the predictable quadratic variation of the first martingale of Theorem \ref{thm:martrep}, is absolutely continuous with respect to $\mu$, except possibly on some $\mathbb{P}$-null set.  

3: 

4: As $\mu$ is of finite variation, its discontinuities $\Delta\mu$ are bounded. We assume that $\mu_T\leq1$ and that $\mu$ assigns positive measure to any nonempty open interval in $[0,T]$. 

5: \end{definition}

6: