Wolfram言語には，変数についての任意の記号的仮定の指定のための柔軟なシステムがある．Wolfram言語は広範な高度なアルゴリズムを用いて，時にはその過程で自動的に必要な数学理論を証明しながら仮定の結果を推測する．

Element (∈) — 領域の要素であることを指定する（elemと入力する）

NotElement (∉) — 領域の要素でないことを指定する（!elemと入力する）

Less (<)，Greater (>)，... — 暗示的に実数について不等式を定義する

ForAll (∀) — 全称記号（faと入力する）

Exists (∃) — 存在記号（exと入力する）

領域

Reals  ▪  Integers  ▪  Complexes  ▪  Algebraics  ▪  Primes  ▪  Rationals  ▪  Booleans

PositiveReals  ▪  NegativeReals  ▪  NonNegativeReals  ▪  NonPositiveReals

PositiveRationals  ▪  NegativeRationals  ▪  NonNegativeRationals  ▪  NonPositiveRationals

PositiveIntegers  ▪  NegativeIntegers  ▪  NonNegativeIntegers  ▪  NonPositiveIntegers

Refine — 仮定を使って式を評価する

Simplify，FullSimplify — 仮定を使って簡約する

FunctionExpand — 仮定を使ってより簡単な関数について展開する

Assuming — 内部の関数が使う仮定を設定する

$Assumptions — Assumptionsオプションの大域デフォルト

領域指定が行える関数

Reduce  ▪  Resolve  ▪  FindInstance  ▪  Minimize  ▪  NMinimize  ▪  ...

関数の領域と範囲の計算

FunctionDomain — 関数の領域を求める

FunctionRange — 関数の範囲を求める