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