[Merged by Bors] - feat(AlgebraicGeometry/Pullback): description of the underlying topological space of a fiber product of schemes

[Merged by Bors] - feat(AlgebraicGeometry/Pullback): description of the underlying topological space of a fiber product of schemes #63207