Definition:Backward Difference Operator