x\notin\textbf{Z}