Soit
un espace de probabilité filtré et un processus
-adapté
avec
(zéro à zéro).
S'il existe une suite non décroissante
de temps d'arrêt de
telle que
et
- pour tout
le processus arrêté
défini par
soit une martingale,
alors on appelle
une martingale locale et on écrit
.
Si
est continue, on écrit
[1].