完全正则性分离公理
Complete regularity separation axiom
正则选择函数的公理化特征
The axiomatic characterization of the regular choice functions