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