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 and its answers. – abx 6 hours ago
abx
- 38k
- 3
- 86
- 146