Define product spaces, Hausdorff spaces