正则公理

regularity axiom