Definition:Linear Operator