Closure operators, frames, and neatest representations

Rob Egrot

Given a poset $P$ and a standard closure operator $\Gamma :\wp (P)\to \wp (P)$ we give a necessary and sufficient condition for the lattice of $\Gamma$-closed sets of $\wp (P)$ to be a frame in t…