\[ a\in A\subset B,\quad C\supset D,\quad a\not\in A,\quad C\not\supset D,\quad A\cup B, A\cap B, A\setminus B=\emptyset,\quad \bigcup_{i=1}^\infty A_i=\bigcap_{i=1}^\infty B_i \]