Definition:Product Notation (Algebra)/Propositional Function/Iverson's Convention

Definition
Let $\displaystyle \prod_{R \left({j}\right)} a_j$ be the product over all $a_j$ such that $j$ satisfies $R$.

This can also be expressed:
 * $\displaystyle \prod_{j \mathop \in \Z} a_j \left[{R \left({j}\right)}\right]$

where $\left[{R \left({j}\right)}\right]$ is Iverson's convention.