 Let formula_1 be any set.Let formula_44 be some collection of measurable spaces, and for each formula_45, let formula_46 be a Hausdorff topology on formula_47.For each finite subset formula_48, define

For subsets formula_50, let formula_51 denote the canonical projection map formula_52.