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:

Express that is not real:

Enter using !elem:

Scope  (1)

Test domain membership:

Properties & Relations  (1)

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:

Introduced in 2007
 (6.0)