Proposition 4.5.8, p.209: characterizes "every mono in $E$ factors (not necessarily uniquely) as a $j$-closed followed by a $j$-dense."