I don't think they're claiming surjectivity here. They're just saying the mapping is injective, so for a given output there should be a unique input to construct it.
What definition of invertible doesn't include surjectivity?
The question is usually more about whether the inverse is also continuous, smooth, easy to compute....etc.