Definition:Martingale