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