Theorem rele

Description: The membership relation is a relation. (Contributed by NM, 26-Apr-1998) (Revised by Mario Carneiro, 21-Dec-2013)

	Ref	Expression
Assertion	rele	$$⊢\mathrm{Rel}\mathrm{E}$$

Proof

Step	Hyp	Ref	Expression
1		df-eprel	$$⊢\mathrm{E}=\left\{⟨x,y⟩|x\in y\right\}$$
2	1	relopabi	$$⊢\mathrm{Rel}\mathrm{E}$$