generated at
右イデアル
イデアルの定義の3つ目の式が
\forall a\in R,\forall x\in Iに対し、xa\in Iであるやる