Element

Element[x, dom]
or asserts that x is an element of the domain dom.

Element[{x1, x2, ...}, dom]
asserts that all the are elements of dom.

Element[patt, dom]
asserts that any expression matching the pattern patt is an element of dom.

DetailsDetails

  • can be entered as x EscelEsc dom or .
  • Element can be used to set up assumptions in Simplify and related functions.
  • Possible domains are:
  • Algebraicsalgebraic numbers
    BooleansTrue or False
    Complexescomplex numbers
    Integersintegers
    Primesprime numbers
    Rationalsrational numbers
    Realsreal numbers
  • if possible evaluates immediately when x is numeric.
  • is equivalent to .
  • evaluates to if its truth or falsity cannot immediately be determined.

ExamplesExamplesopen allclose all

Basic Examples (3)Basic Examples (3)

Test whether is an element of the reals:

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

Express domain membership for an expression:

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

Enter using EscelemEsc:

In[1]:=
Click for copyable input
Out[1]=
New in 4 | Last modified in 5
New to Mathematica? Find your learning path »
Have a question? Ask support »