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 — 求函数的值域