Cozero elements of a frame play an important role in point-free topology. The set of cozero elements, \( \mathrm{Coz}L \), of a frame \( L \) is a sub \( \sigma \)-frame of \( L \) (that is, a sublattice closed under countable suprema and finite infima). Moreover, the lattice \(...