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.

Details

Examples

open allclose all

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

In[1]:=
Click for copyable input
Out[1]=

Scope  (1)

Properties & Relations  (1)

See Also

Element  MemberQ  IntegerQ  Condition  PatternTest  Equal  Less  Divisible  CoprimeQ  Booleans  Primes  Exists  ForAll

Introduced in 2007
(6.0)