∅ ∈ a