Theorem ringssrng

Description: The unital rings are (non-unital) rings. (Contributed by AV, 20-Mar-2020)

	Ref	Expression
Assertion	ringssrng	$$⊢\mathrm{Ring}\subseteq \mathrm{Rng}$$

Proof

Step	Hyp	Ref	Expression
1		ringrng	$$⊢x\in \mathrm{Ring}\to x\in \mathrm{Rng}$$
2	1	ssriv	$$⊢\mathrm{Ring}\subseteq \mathrm{Rng}$$