Az $A=\left\{\text{<span style="font-weight: normal;font-style: normal;">igen</span>}\mathrm{,}\text{<span style="font-weight: normal;font-style: normal;">nem</span>}\right\}$ halmazon értelmezett $f:A^n\to A$ függvényt döntési függvénynek mondjuk, ha
$\left(a\right)$ mindegyik argumentumát megváltoztatva a függvényérték is megváltozik,

valamint
$\left(b\right)$ tetszőlegesen választott argumentuma helyébe a függvényértéket helyettesítve a függvényérték nem változik meg.
Egy $h:A^n\to A$ függvényt hatalmi függvénynek nevezünk, ha van olyan $i$ index, hogy a függvény értéke mindig az $i$-edik argumentummal egyezik meg.
Azt az $m:A^3\to A$ függvényt, amelynek értéke mindig az, ami az argumentumok között legalább kétszer fellép, nevezzük demokratikus függvénynek.
Mutassuk meg, hogy minden döntési függvény előállítható hatalmi és demokratikus függvényekből összetett függvényként.