Definition:Closed Martingale