正规理想

distinguished ideal