DOCUMENTATION CENTER SEARCH

Mathematica > Mathematics and Algorithms > Formula Manipulation > Assumptions and Domains >

Built-in Mathematica Symbol

See Also »|More About »

NotElement ()

NotElement[x, dom]
or x

dom asserts that

is not an element of the domain dom.

NotElement[x₁|...|x_n, 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.

MORE INFORMATION

xdom can be entered as Esc !el Esc dom or x\[NotElement]dom.

NotElement[x, dom] is equivalent to Not[Element[x, dom]].

NotElement[x₁|...|x_n, dom] is equivalent to Not[Element[x₁, dom]]&&...&&Not[Element[x_n, dom]].

Basic Examples (3)

Test whether

is not an element of the integers:

Express that

is not real:

Enter using Esc !elem Esc:

Properties & Relations (1)

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

Assumptions and Domains

New in 6

Ask a question about this page | Suggest an improvement | Leave a message for the team