vollständig spezifizierte Boolesche Funktionf : {0, 1}ⁿ → {0, 1} mit der Eigenschaft, daß für alle α = (α₁, …, α_n), β = (β₁, …, β_n) ∈ {0, 1}ⁿ\begin{eqnarray}\alpha \,\le \,\beta \,\Rightarrow \,f(\alpha )\,\le \,f(\beta )\end{eqnarray}

gilt. Hierbei gilt α ≤ β genau dann, wenn α_i ≤ β_i für alle i ∈ {1, …, n} gilt. Eine vollständig spezifizierte Boolesche Funktion f : {0, 1}ⁿ → {0, 1} heißt monoton steigende Boolesche Funktion in einer Variablen x_i (1 ≤ i ≤ n), falls für alle (α₁, …, α_n) ∈ {0, 1}ⁿ\begin{eqnarray}f({\alpha }_{1}\text{,}\,\text{.}\,\text{.}\,\text{.}\,{\alpha }_{i-1}\,\text{,}\,{\alpha }_{i}\,\text{,}\,{\alpha }_{i+1}\text{,}\,\text{.}\,\text{.}\,\text{.}\,\text{,}\,{\alpha }_{n})\,\le \,f({\alpha }_{1}\text{,}\,\text{.}\,\text{.}\,\text{.}\,{\alpha }_{i-1}\,\text{,}\,1\,\text{,}\,{\alpha }_{i+1}\text{,}\,\text{.}\,\text{.}\,\text{.}\,\text{,}\,{\alpha }_{n})\end{eqnarray}

gilt.