# Element Element[x,dom]

or xdom asserts that x is an element of the domain dom.

Element[x,reg]

or xreg asserts that x is an element of the region reg.

Element[x1|x2|,dom]

asserts that all the xi are elements of dom.

Element[patt,dom]

asserts that any expression matching the pattern patt is an element of dom.

# Details • xdom can be entered as x el dom or x[Element]dom.
• 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.
• xdom if possible evaluates immediately when x is numeric.
• For a domain dom, {x1,x2,}dom is equivalent to (x1|x2|)dom.
• For a region reg, {x1,x2,}reg asserts that the point with coordinates x1,x2, belongs to reg.
• {x1,x2,}dom evaluates to (x1|x2|)dom if its truth or falsity cannot immediately be determined.

# Examples

open all close all

## Basic Examples(5)

Test whether is an element of the reals:

 In:= Out= Test whether the point belongs to the unit disk:

 In:= Out= Express domain membership for an expression:

 In:= Out= Assert that the point belongs to the unit ball:

 In:= Out= Use element assertions to integrate over a region:

 In:= Out= Or to optimize over a region:

 In:= Out= Enter using elem :

 In:= Out= ## Possible Issues(1)

Introduced in 1999
(4.0)
|
Updated in 2014
(10.0)