 Restricted product topology

A basic open set in a restricted product ${\prod }_v^{\prime }(X_v,U_v)$ is a product of open local sets that equals the distinguished subset $U_v$ at all but finitely many indices.