等∪集合的并运算U（P）表示P的领域∩集合的交运算或集合的差运算集合的对称差运算AR集合A上关于R的商集a元素a产生的循环群I环，理想Z
模
的同余类集合rR关系R的自反闭包sR关系R的对称闭包CP命题演绎的定理（CP规则）EG存在推广规则（存在量词引入规则）ES存在量词特指规则（存在量词消去规则）UG全称推广规则（全称量词引入规则）US全称特指规则（全称量词消去规则）R关系r相容关系R○S关系与关系的复合
fdomf函数的定义域（前域）ra
f函数的值域fx→yf是x到y的函数xyx与y的最大公约数，有时为避免混淆，使用gcdxyxyx与y的最小公倍数，有时为避免混淆，使用lcmxyaHHaH关于a的左（右）陪集Kerf同态映射f的核（或称f同态核）1，
1到
的整数集合dABAB或AB点A与点B间的距离dV点V的度数GVE点集为V，边集为E的图GWG图G的连通分支数kG图G的点连通度ΔG图G的最大点度AG图G的邻接矩阵PG图G的可达矩阵MG图G的关联矩阵C复数集I虚数集N自然数集，非负整数集（包含元素