This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

NotElement

NotElement
or asserts that is not an element of the domain dom.
NotElement
asserts that none of the are elements of dom.
NotElement
asserts that any expression matching the pattern patt is not an element of the domain dom.
  • can be entered as Esc !el Esc dom or .
Test whether is not an element of the integers:
Express that is not real:
Enter using Esc !elem Esc:
Test whether is not an element of the integers:
In[1]:=
Click for copyable input
Out[1]=
 
Express that is not real:
In[1]:=
Click for copyable input
Out[1]=
 
Enter using Esc !elem Esc:
In[1]:=
Click for copyable input
Out[1]=
Test domain membership:
For a single variable, the negation of NotElement is automatically converted to Element:
For multiple variables the negation of NotElement is not automatically simplified:
Use LogicalExpand to find the representation in terms of Element:
New in 6