Definition:Principal Operator