Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

NotElement

NotElement[x,dom]

x∉dom，表示不是 dom 域中的元素.

NotElement[x₁|…|x_n,dom]

表示任何一个不是 dom 域中的元素.

NotElement[patt,dom]

表示和 patt 模式匹配的表达式都不属于 dom 域.

更多信息

x∉dom 可通过键入 !el dom 或 x∖[NotElement]dom 获得.
NotElement[x,dom] 等同于 Not[Element[x, dom]].
NotElement[x₁|…|x_n,dom] 等同于 Not[Element[x₁,dom]]&&…&&Not[Element[x_n,dom]].

范例

打开所有单元关闭所有单元

基本范例 (3)

测试是否是整数域中的元素：

表示不是实数：

通过键入 !elem 获得：

范围 (1)

测试域中成员：

属性和关系 (1)

对于单一变量，NotElement 的否定自动转换为 Element：

对于复变量，NotElement 的否定不会自动化简：

用 LogicalExpand 找到关于 Element 的表示形式：

顶部