自动机、可计算性、复杂度
集合、多重集合
序列、多元组、幂集（power set, 所有子集的集合）
笛卡尔积/叉积 $A\times B$ 第一从 A 取，第二从 B 取的所有对的集合。 $A^k=A\times A\times A...$
函数/映射，定义域 domain、值域 range
k 元函数。二元函数 中缀/前缀表示
谓词/性质（值域为 {TRUE, FALSE}）；（k 元）关系（定义域为 $A^k$ 的谓词）
等价关系（自反 xRx、对称 xRy ⇒ yRx、传递 xRy, yRz ⇒ xRz）
图 G = (V, E)、结点 V、边 E
度（顶点的边数）。自环
子图；路径、简单路径（无顶点重复）、连通图、圈、简单圈
树、根、叶子
有向图、出度、入度；有向路径、强连通图
字母表、符号；字符串（有穷序列）、长度、空串、反转、子串
连接、字典序/字符串顺序；语言（字符串的集合）、无前缀（语言中任何成员都不是其他的真前缀）
布尔逻辑、布尔值、布尔运算、运算对象/操作数 operands
异或、等值、蕴涵（1 → 0 = 0，其他为 1）；分配律
定义、定理、证明（构造证明、反证、归纳）