Restricted product topology
= Restricted product topology
A basic open set in a restricted product $\prod_v'(X_v,U_v)$ is a product of open local sets that equals the distinguished subset $U_v$ at all but finitely many indices.
= Restricted product topology
A basic open set in a restricted product $\prod_v'(X_v,U_v)$ is a product of open local sets that equals the distinguished subset $U_v$ at all but finitely many indices.