 If formula_13 is a martingale, we can define the martingale maximal function by formula_14.If formula_15 exists, many results that hold in the classical case (e.g.boundedness in formula_16 inequality) hold with respect to formula_17 and formula_18.