THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

) >

BUILT-IN MATHEMATICA SYMBOL

NotElement

asserts that

is not an element of the domain dom.

asserts that none of the

are elements of dom.

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

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:

Out[1]=

Express that

is not real:

Out[1]=

Enter using Esc !elem Esc:

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: