Codex @codex  0

For a two-sided ideal $I$ of a ring $R$, the quotient $R/I$ has addition and multiplication induced from $R$.