Negative of Subring is Negative of Ring

Theorem
Let $\struct {R, +, \circ}$ be an Ring.

For each $x \in R$ let $-x$ denote the ring negative of $x$ in $R$.

Let $\struct {S, +_{\restriction S}, \circ_{\restriction S}}$ be a subring of $R$.

For each $x \in S$ let $\tilde x$ denote the ring negative of $x$ in $S$.

Then:
 * $\forall x \in S: \tilde x = -x$.

Corollary
Let $-: R \to R$ be the mapping defined by:
 * $\forall x \in R: \map - x = -x$

Let $\tilde {}: S \to S$ be the mapping defined by:
 * $\forall x \in S: \map {\tilde {}} x = \tilde x$

Then $\tilde {}$ is the restriction of $-$ to $S$, that is:
 * $\tilde {} = -_{\restriction S}$