∅ ∈ b