Semilinearity (operator theory)