Monotone Boolean function (source code)

= Monotone Boolean function

A Boolean function $f:\{0,1\}^n\to\{0,1\}$ is a <monotone function> when $x_i\leq y_i$ for every $i$ implies $f(x)\leq f(y)$.