Subring
= Subring
{title2=$S\subseteq R$}
A subset closed under addition, additive inverses and multiplication, with the induced operations. Under the unital convention used here it also contains the identity of $R$. A subring of an <integral domain> is again an integral domain. The <ring of invariants> is one example: fixed elements remain fixed under all ring operations.