WolframのWebサイトのコンテンツとインタラクトしたりフォームを送信したりするためには，JavaScriptを有効にしてください．有効にする方法

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)

変数が1つのとき，NotElementの否定は自動的にElementに変換される：

変数が複数のとき，NotElementの否定は自動的には簡約されない：

LogicalExpandを使ってElementについての表現を求める：

トップへ