Definition:ARMA Operator