Given a Continuous Local Martingale then the quadratic variation is the Stochastic Process defined by such that

  1. is an increasing process (finite variation and increasing sample paths)
  2. is unique up to indistinguishability
  3. is a CLM

has the following properties

  1. If
  2. a stopping time
  3. If
  4. If