# nLab monadic algebra

A monadic algebra is a closure algebra, $(\mathbb{B}, m)$, which satisfies: for all $x$, $x\leq l m x$, where, as usual, $l$ is a shorthand for $\neg m \neg$.