Is linear function in this context a synonym for linear map then? Because I was under the impression that it is literally a linear function, but not a linear map.