x\not\in B\cup C