Closed Embeddings and Surjective Pullbacks