イデアルの定義は満たさないけど部分環として閉じている例ってどんなのがありますか?