Restricted product topology
= Restricted product topology
{wiki=Restricted_product}
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.