Category:Definitions/Submartingales