Corollary 1

A filter $\mathfrak{F}$ on a product space $X = \prod_{i \in I} X_i$ converges to a point $x$ if and only if for each $i \in I$ the filter base $\operatorname{pr}_i(\mathfrak{F})$ converges to $\operatorname{pr}_i(x)$.