Library
▹
Essentials
▹
Sets
Proposition 1.1.14.
Let
S
be a set. Then:
S
∩ ∅
=
∅
Proof.
By
1.1.13
.
By
1.1.2
.
References.
https://proofwiki.org/wiki/Intersection_with_Empty_Set
http://metamath.tirix.org/in0.html
https://leanprover-community.github.io/mathlib_docs/data/set/basic.html#set.inter_empty