I have a collection of sets $A = \{A\_n : n \in \mathbb{N} \}.$ I want to drop all the empty sets, i.e. I want to define the set $B = \{ X \in A : X \neq \emptyset \}.$ Can I define the set $B$ without problem? Somehow this seems problematic to me.