Definition:Product Space (Topology) of Two Factor Spaces