Theorem relrpss

Description: The proper subset relation is a relation. (Contributed by Stefan O'Rear, 2-Nov-2014)

	Ref	Expression
Assertion	relrpss	$$⊢\mathrm{Rel}[\subset ]$$

Proof

Step	Hyp	Ref	Expression
1		df-rpss	$$⊢[\subset ]=\left\{⟨x,y⟩|x\subset y\right\}$$
2	1	relopabiv	$$⊢\mathrm{Rel}[\subset ]$$