According to my textbook, the following gives B, the collection of subsets that forms the basis.
\cap_{a i}^{n} pr^{-1}_{a i}(U_{a i}) = \left\{(x_{\alpha})_{\alpha \in A} \in Y | x_{a i} \in U_{a i} for all i = 1, ... , n\right\}
Given a1,..,an \in A and U_{a i} open in X_{a i}
I...