Such morphisms are called pure, there is an extensive literature about them. Faithfully flat morphisms are pure, but there are more pure morphisms: see [this question](https://mathoverflow.net/questions/152877/pure-morphisms-which-are-not-faithfully-flat) and its answers. – abx 6 hours ago