This is documentation for Mathematica 5, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Documentation / Mathematica / Built-in Functions / Algebraic Computation / Formula Manipulation /


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

FilledSmallSquare Element[, , ... , dom] asserts that all the are elements of dom.

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

FilledSmallSquare can be entered as x AliasIndicatorelAliasIndicator dom or x \[Element] dom.

FilledSmallSquare Element can be used to set up assumptions in Simplify and related functions.

FilledSmallSquare Possible domains are:

FilledSmallSquare if possible evaluates immediately when x is numeric.

FilledSmallSquare Examples: Pi Algebraics LongRightArrow; Pi Reals LongRightArrow.

FilledSmallSquare ( | | ... ) dom is equivalent to , , ... dom.

FilledSmallSquare , , ... dom evaluates to ( | | ... ) dom if its truth or falsity cannot immediately be determined.

FilledSmallSquare See Section 1.4.6 and Section 3.3.10.

FilledSmallSquare See also: Simplify, MemberQ, IntegerQ, Assumptions, Condition, PatternTest, Equal, Less.

FilledSmallSquare New in Version 4; modified in 5.0.

Further Examples