or x∉dom asserts that is not an element of the domain dom.
asserts that none of the are elements of dom.
asserts that any expression matching the pattern patt is not an element of the domain dom.
Examplesopen allclose all
Basic Examples (3)
Test whether is not an element of the integers:
Express that is not real:
Enter using !elem:
Properties & Relations (1)
For a single variable, the negation of NotElement is automatically converted to Element:
For multiple variables the negation of NotElement is not automatically simplified:
Use LogicalExpand to find the representation in terms of Element: