Subspace of Product Space has Initial Topology with respect to Restricted Projections

Initial Topology with respect to Mapping equals Set of Preimages