Mathematical logic and foundations

A structure-preserving map from A into B is injective but is not known to be surjective. Which description is justified?