diskrete Orthogonalitätsrelation für bipolare Vektoren, konkret die für alle x, y ∈ {−1, 1}ⁿ geltende Beziehung

\begin{eqnarray}\displaystyle \sum _{R\subset \{1,\ldots, n\}}\displaystyle \prod _{i\in R}{x}_{i}{y}_{i}=\{0, & x\ne y,\\ {2}^{n}, & x=y.\end{eqnarray}