sentences:  This makes "Xi" compact, and by Tychonoff's theorem, "X" is also compact (in the product topology).The projection maps are continuous; all the "Ai"'s are closed, being complements of the singleton open set {"i"} in "Xi".So the inverse images π"i"−1("Ai") are closed subsets of "X".