En efecto, cuando U y U sean abiertos de X y X respectivamente, U x U es un abierto en X x X, ya que