真のイデアル
$ I\subsetneqq R
な
イデアル