摘要
It is known that in the presence of the Axiom of Choice(AC),the completely regu-lar compact reflection and the regular compact reflection for a locale are equivalent,butit is not true if we do not assume AC,and in this case,it is difficult to characterize
<正> It is known that in the presence of the Axiom of Choice(AC),the completely regu-lar compact reflection and the regular compact reflection for a locale are equivalent,butit is not true if we do not assume AC,and in this case,it is difficult to characterize the