En el álgebra de Boole, una función monótona es una tal que para todo "a" y "b" en {0,1} tales que "a" ≤ "b", "a" ≤ "b", ...