Definition:Averaging Operator