injective linear map