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