texで内包記法での集合の縦線

texで内包記法での集合の縦線

$ \prod_{i \in I} X_i = \{ (x_i) _{i \in I} | x_i \in X_i ( i \in I)\}

$ \prod_{i \in I} X_i = \{ (x_i) _{i \in I} \mid x_i \in X_i ( i \in I)\}