 Closure operation of a local operator

If a subobject $A^{\prime }\hookrightarrow A$ has characteristic map $\chi :A\to \Omega$, its $j$-closure is classified by $j\chi$. This closure operation is inflationary, idempotent, and stable under pullback.