PRODUCTS
Mathematica
Mathematica Home Edition
Mathematica for Students
Mathematica for the Classroom
grid
Mathematica
Wolfram Lightweight Grid Manager
web
Mathematica
Mathematica Player
(free download)
Mathematica Player Pro
Wolfram
Workbench
Mathematica
Applications
SOLUTIONS
Engineering
Aerospace Engineering & Defense
Chemical Engineering
Electrical Engineering
Image Processing
Industrial Engineering
Materials Science
Mechanical Engineering
Operations Research
Optics
Petroleum Engineering
Biotechnology & Medicine
Bioinformatics
Medical Imaging
Finance, Statistics, & Business Analysis
Actuarial Sciences
Data Analysis & Mining
Econometrics
Economics
Financial Engineering & Mathematics
Financial Risk Management
Statistics
Software Engineering & Content Delivery
Authoring & Publishing
Interface Development
Software Engineering
Web Development
Science
Astronomy
Biological Sciences
Chemistry
Environmental Sciences
Geosciences
Social & Behavioral Sciences
Design, Arts, & Entertainment
Game Design, Special Effects, & Generative Art
Education
Higher Education
Precollege Education
Students
Technology
Interactive Deployment
High-Performance & Parallel Computing (HPC)
See Also: Technology Guide
PURCHASE
Online Store
Other Ways to Buy
Volume & Site Licensing
Contact Sales
Software
Service
Upgrades
Training
Books
FOR USERS
All User Resources
Product Registration
Technical Support
Customer Service
Developer Support
Does My Site Have a License?
Free Seminars
Learning Center
Training
Custom Group Seminars
Documentation & Examples
Tutorial Screencasts
Video Gallery
Demonstrations Project
Education Portal
Student Resources
COMPANY
About Wolfram Research
News & Events
Wolfram Blog
Employment Opportunities
History of
Mathematica
Stephen Wolfram's Home Page
Contact Us
OUR SITES
Wolfram|Alpha
Demonstrations Project
Wolfram Blog
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Library Archive
Wolfram
Tones
Wolfram Science
Stephen Wolfram
DOCUMENTATION CENTER SEARCH
Mathematica
>
Mathematics and Algorithms
>
Formula Manipulation
>
Assumptions and Domains
>
Built-in
Mathematica
Symbol
Element
MemberQ
IntegerQ
Condition
PatternTest
Equal
Less
Divisible
CoprimeQ
Booleans
Primes
Exists
ForAll
See Also »
|
Assumptions and Domains
More About »
NotElement
(
)
NotElement
[
x
,
dom
]
or
x
dom
asserts that
is not an element of the domain
dom
.
NotElement
[
x
1
|
...
|
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
x
dom
can be entered as
Esc
!el
Esc
dom
or
x
\[NotElement]
dom
.
NotElement
[
x
,
dom
]
is equivalent to
Not
[
Element
[
x
,
dom
]]
.
NotElement
[
x
1
|
...
|
x
n
,
dom
]
is equivalent to
Not
[
Element
[
x
1
,
dom
]]&&
...
&&
Not
[
Element
[
x
n
,
dom
]]
.
EXAMPLES
CLOSE ALL
Basic Examples
(3)
Test whether
is not an element of the integers:
In[1]:=
Out[1]=
Express that
is not real:
In[1]:=
Out[1]=
Enter using
Esc
!elem
Esc
:
In[1]:=
Out[1]=
Scope
(1)
Properties & Relations
(1)
SEE ALSO
Element
MemberQ
IntegerQ
Condition
PatternTest
Equal
Less
Divisible
CoprimeQ
Booleans
Primes
Exists
ForAll
MORE ABOUT
Assumptions and Domains
New in 6