NotElement

NotElement[x,dom]
or asserts that is not an element of the domain dom.

NotElement[x1||xn,dom]
asserts that none of the are elements of dom.

NotElement[patt,dom]
asserts that any expression matching the pattern patt is not an element of the domain dom.

DetailsDetails

ExamplesExamplesopen allclose all

Basic Examples  (3)Basic Examples  (3)

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!elemEsc:

In[1]:=
Click for copyable input
Out[1]=
Introduced in 2007
(6.0)