Theorem ssv

Description: Any class is a subclass of the universal class. (Contributed by NM, 31-Oct-1995)

	Ref	Expression
Assertion	ssv	$$⊢A\subseteq \mathrm{V}$$

Proof

Step	Hyp	Ref	Expression
1		elex	$$⊢x\in A\to x\in \mathrm{V}$$
2	1	ssriv	$$⊢A\subseteq \mathrm{V}$$