Definition:

martingales