# Category:Summations

Let $\map R j$ be a propositional function of $j$.
$\ds \sum_{\map R j} a_j = \text{ The sum of all$a_j$such that$\map R j$holds}$.