Theorem 0in

Description: The intersection of the empty set with a class is the empty set. (Contributed by Glauco Siliprandi, 17-Aug-2020)

	Ref	Expression
Assertion	0in	$$⊢\varnothing \cap A=\varnothing$$

Proof

Step	Hyp	Ref	Expression
1		in0	$$⊢A\cap \varnothing =\varnothing$$
2	1	ineqcomi	$$⊢\varnothing \cap A=\varnothing$$