Restricted product (source code)

= Restricted product
{title2=$\prod_i'(X_i,U_i)$}
{wiki}

Given spaces $X_i$ with distinguished open subsets $U_i$, their restricted product consists of tuples $(x_i)$ for which $x_i\in U_i$ at all but finitely many indices.