NotElement

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

NotElement[x1||xn,dom]
asserts that none of the x_(i) 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)
Translate this page: