This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
 BUILT-IN MATHEMATICA SYMBOL Tutorials »| See Also »| More About »

Element

 Elementor asserts that x is an element of the domain dom. Elementasserts that all the are elements of dom. Elementasserts that any expression matching the pattern patt is an element of dom.
• can be entered as x Esc el Esc dom or .
• Element can be used to set up assumptions in Simplify and related functions.
• Possible domains are:
 Algebraics algebraic numbers Booleans Complexes complex numbers Integers integers Primes prime numbers Rationals rational numbers Reals real numbers
• if possible evaluates immediately when x is numeric.
• is equivalent to .
• evaluates to if its truth or falsity cannot immediately be determined.
Test whether is an element of the reals:
Express domain membership for an expression:
Enter using Esc elem Esc:
Test whether is an element of the reals:
 Out[1]=

Express domain membership for an expression:
 Out[1]=

Enter using Esc elem Esc:
 Out[1]=
 Scope   (6)
Test domain membership:
Make domain membership assumptions:
Test domain membership using assumptions:
Specify variable domains:
Specify assumptions on objects matching a pattern: