# Wolfram Language & System 10.3 (2015)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.
BUILT-IN WOLFRAM LANGUAGE SYMBOL

# Element

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

Element[x,reg]
or asserts that x is an element of the region reg.

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.
• dom may be a numeric domain or a region in .
• Possible domains dom are:
•  Algebraics algebraic numbers Booleans Complexes complex numbers Integers integers Primes prime numbers Rationals rational numbers Reals real numbers
• Possible regions reg are defined by RegionQ.
• if possible evaluates immediately when x is numeric.
• For a domain dom, is equivalent to .
• For a region reg, asserts that the point with coordinates belongs to reg.
• evaluates to if its truth or falsity cannot immediately be determined.

## ExamplesExamplesopen allclose all

### Basic Examples  (5)Basic Examples  (5)

Test whether is an element of the reals:

 Out[1]=

Test whether the point belongs to the unit disk:

 Out[1]=

Express domain membership for an expression:

 Out[1]=

Assert that the point belongs to the unit ball:

 Out[1]=

Use element assertions to integrate over a region:

 Out[2]=

Or to optimize over a region:

 Out[3]=

Enter using EscelemEsc:

 Out[1]=