E = positive attribute ⇔ Peder = lim N → ∞ ∑ i = 0 N E i {\displaystyle E={\mbox{positive attribute}}\Leftrightarrow {\mbox{Peder}}=\lim _{N\to \infty }\sum _{i=0}^{N}E_{i}}
