A preservation result for completely regular locales

There is not much literature on preservation results in the theory of locales viewed as pointfree topologies. In this note we prove among others that localic complete regularity is preserved under closed-and-open localic surjections.