Wiktionary
left ideal
n. (context algebra English) A subring which is closed under left-multiplication by any element of the ring.