Definition:Martingale in Discrete Time