Element

Usage

• Element[x, dom] or asserts that x is an element of the domain dom.
• Element[{, , ... }, 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.

Notes

• can be entered as x el dom or x \[Element] dom.

• if possible evaluates immediately when x is numeric.

• Examples: Pi Algebraics; Pi Reals.

• ( | | ... ) dom is equivalent to {, , ... } dom.

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

Further Examples