Element

Available

Test or assert membership of an expression in a mathematical domain.

Forms

Element[x, dom]

Element[x, reg]

Element[x1 | x2 | …, dom]

Element[patt, dom]

Verified examplesElement[5, Reals] → True

Run this on Qurak Search the reference

Used in

Refine and simplify expressions - 5 steps

Topics

Assumptions And Domains - Domains
Formula Manipulation - Formula Testing
Geometric Properties And Measures - Membership Predicates
Number Recognition - General
Number Theory - Diophantine & Other Equations »
Operations On Sets - Testing Elements in Sets

Related

Simplify MemberQ IntegerQ Assumptions Condition PatternTest Equal Less Divisible CoprimeQ Booleans Primes

All 6300 functions · Use this from an MCP client