Theorem ringssrng

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

	Ref	Expression
Assertion	ringssrng	⊢ Ring ⊆ Rng

Proof

Step	Hyp	Ref	Expression
1		ringrng	⊢ ( 𝑥 ∈ Ring → 𝑥 ∈ Rng )
2	1	ssriv	⊢ Ring ⊆ Rng