Definition:Supermartingale/Discrete Time

Also see

 * Equivalence of Definitions of Supermartingale in Discrete Time