阶理想

order ideal