x\not\in Z