Theorem ssv

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

	Ref	Expression
Assertion	ssv	⊢ 𝐴 ⊆ V

Proof

Step	Hyp	Ref	Expression
1		elex	⊢ ( 𝑥 ∈ 𝐴 → 𝑥 ∈ V )
2	1	ssriv	⊢ 𝐴 ⊆ V