Definition:Hyperoperator