Explanation

Empty set is, in fact, a subset of every set, including itself, because the definition of a subset allows the empty set to be considered a subset of any set.

The intersection of the empty set with any set is always the empty set, making statements about it true.