Two-sided ideal (source code)

= Two-sided ideal

A two-sided ideal $I$ of a <noncommutative ring> satisfies $RI\subseteq I$ and $IR\subseteq I$.