∅ ⊂ ∅