Product Spaces in Locales

The embedding of sober spaces in locales preserves products <!-- MATH $X \times Y$ --> where is quasi-locally compact. A completely regular space has this preservation property, for all , if and only if is a complemented sublocale of a compact space. Equivalently, every closed subset of is locally compact somewhere.