CP 命题演绎的定理（CP 规则）

　　EG 存在推广规则（存在量词引入规则）

　　ES 存在量词特指规则（存在量词消去规则）

　　UG 全称推广规则（全称量词引入规则）

　　US 全称特指规则（全称量词消去规则）

　　R 关系

　　r 相容关系

　　R○S 关系 与关系 的复合

　　domf 函数 的定义域（前域）

　　ranf 函数 的值域

　　f:X→Y f是X到Y的函数

　　GCD(x,y) x,y最大公约数

　　LCM(x,y) x,y最小公倍数

　　aH(Ha) H 关于a的左（右）陪集

　　Ker(f) 同态映射f的核（或称 f同态核）

　　[1，n] 1到n的整数集合

　　d(u,v) 点u与点v间的距离

　　d(v) 点v的度数

　　G=(V,E) 点集为V，边集为E的图

　　W(G) 图G的连通分支数

　　k(G) 图G的点连通度

　　△（G) 图G的最大点度

　　A(G) 图G的邻接矩阵

　　P(G) 图G的可达矩阵

　　M(G) 图G的关联矩阵

　　C 复数集

　　N 自然数集（包含0在内）

　　N* 正自然数集

　　P 素数集

　　Q 有理数集

　　R 实数集

　　Z 整数集

　　Set 集范畴

　　Top 拓扑空间范畴

　　Ab 交换群范畴

　　Grp 群范畴

　　Mon 单元半群范畴

　　Ring 有单位元的（结合）环范畴

　　Rng 环范畴

　　CRng 交换环范畴

　　R-mod 环R的左模范畴

　　mod-R 环R的右模范畴

　　Field 域范畴

　　Poset 偏序集范畴