Pathwise uniqueness (source code)

= Pathwise uniqueness
{wiki}

Pathwise uniqueness holds when any two solutions with the same initial value and driven by the same Brownian motion on the same filtered probability space are indistinguishable.