A càdlàg process is a finite-variation process when, almost surely, for every ,
where the supremum is over every finite partition of an interval .
Uniform convergence on compacts in probability of to means that, for every and ,