《离散数学》符号表

离散数学中的符号汇总├断定符（公式在L 中可证）╞满足符（公式在E上有效，公式在E上可满足）┐命题的“非”运算∧命题的“合取”（“与”）运算∨命题的“析取”（“或”，“可兼或”）运算→命题的“条件”运算A<=>B 命题A 与B 等价关系A=>B 命题A 与B 的蕴涵关系A* 公式A 的对偶公式wff 合式公式iff 当且仅当↑命题的“与非” 运算（“与非门” ）↓命题的“或非”运算（“或非门” ）□模态词“必然”◇模态词“可能”φ 空集∈属于（??不属于）P（A）集合A 的幂集|A| 集合A 的点数R^2=R○R [R^n=R^(n-1)○R] 关系R 的“复合”∪集合的并运算∩集合的交运算- （～）集合的差运算〡限制[X](右下角R) 集合关于关系R 的等价类A/ R 集合A 上关于R 的商集[a] 元素a 产生的循环群I (i 大写) 环，理想Z/(n) 模n 的同余类集合r(R) 关系R 的自反闭包s(R) 关系的对称闭包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 偏序集范畴。

《离散数学》符号表V全称量词（任意量词）3存在量词卜断定符（公式在L中可证）卜满足符（公式在E上有效，公式在n命题的“非”运算A命题的“合取”（“与”）运算V命题的“析取”（“或”，“可兼或”）—命题的“条件”运算命题的“双条件”运算的A二B命题A与B等价关系An B命题A与B的蕴涵关系A*公式A的对偶公式wff合式公式iff当且仅当_V命题的“不可兼或”运算（“异或T命题的“与非” 运算（“与非门命题的“或非”运算（“或非门”□模态词“必然”◊模态词“可能”©空集?属于（艺不属于）叫(•集合A的特征函数P (A) 集合A的幕集A集合A的点数运算)E上可满足）A A A（A n）集合A的笛卡儿积”）”）nR2二R R (R^ R nJ R) 关系R 的“复合”X。

X 阿列夫零阿列夫包含ZD真包含u集合的并运算n集合的交运算-（〜）集合的差运算©集合的对称差运算m m同余加m m同余乘1限制[X]R集合关于关系R的等价类A/ R集合A上关于R的商集二R(A)集合A关于关系R的划分R(A)集合A关于划分二的关系⑻元素a产生的循环群[ah元素a形成的R等价类C r由相容关系r产生的最大相容类I环，理想Z/(n)模n的同余类集合a 三b(mod k)a与b模k相等r(R)关系R的自反闭包s(R)关系R的对称闭包R , t(R)关系R的传递闭包R , rt(R)关系R的自反、传递闭包H i.矩阵H的第i个行向量H.j矩阵H的第j个列向量CP命题演绎的定理（CP规则）EG存在推丿规则（存在量词引入规则）ES存在量词特指规则（存在量词消去规则）UG全称推广规则（全称量词引入规则）US全称特指规则（全称量词消去规则）I A , R0恒等关系A集合A的补集x X所有X到自身的映射Y X所有从集合X到集合丫的函数K[A] (A)集合A的势（基数）R关系r相容关系R否关系R补关系R4( R c) 逆关系R S关系R与关系S的复合R R R ,R n关系R的n次幕B2 B2 ,rB；布尔代数B2的r次幕B2r含有2r个元素的布尔代数domf函数f的定义域（前域）ranf 函数f的值域f::K T Y ( X f T Y ) f是X到Y的函数GCD(x,y)x, y最大公约数LCM (x, y)x, y的最小公倍数e幺元0零元Aa元素a的逆元aH(Ha)H关于a的左（右）陪集Ker(f)同态映射f的核（或称f的同态核）A, B, C合式公式J n二项式系数.ka Jrn多项式系数E n2，…,n p ’[1 , n] 1 到n的整数集合[xh =x(x-1) (x-k 1)[x]k二x(x 1) (x k -1)C：组合数d(u,v)点U与点V间的距离d(v)点V的度数d (v)点V的出度d-(v)点V的入度G =(V,E)点集为V，边集为E的图G图G的补图ranf 函数f的值域4 / 6G =G 图G与图G •同构G平面图G的对偶图W(G)图G的连通分支数■(G)图G的点连通度(G)图G的边连通度(G)图G的最小点度(G)图G的最大点度A(G)图G的邻接矩阵P(G)图G的可达矩阵M(G)图G的关联矩阵K n n阶完全图K完全二分图n,mC复数集N自然数集（包含0在内）N正自然数集P素数集Q有理数集Q正有理数集Q —负有理数集R实数集Z整数集Z m{[1],[2], ,[m]}Set集范畴Top拓扑空间范畴Ab交换群范畴Grp群范畴Mon单元半群范畴Ring有单位元的（结合）环范畴Rng环范畴CRng交换环范畴R-mod环R 的左模范畴mod-R环R 的右模范畴Field域范畴Poset偏序集范畴。

《离散数学》符号表【2 】∀全称量词（随意率性量词）∃消失量词├判断符（公式在L中可证）╞知足符（公式在E上有用,公式在E上可知足）┐命题的“非”运算∧命题的“合取”（“与”）运算∨命题的“析取”（“或”,“可兼或”）运算→命题的“前提”运算↔命题的“双前提”运算的A⇔命题A与B等价关系BA⇒命题A与B的蕴涵关系B*A公式A的对偶公式wff合式公式iff当且仅当V命题的“不可兼或”运算（“异或门”）↑命题的“与非”运算（“与非门”）↓命题的“或非”运算（“或非门”）□模态词“必然”◇模态词“可能”φ空集∈ 属于（∉不属于）A μ（·） 聚集A 的特点函数P （A ）聚集A 的幂集A 聚集A 的点数n A A A ⨯⨯⨯（nA ） 聚集A 的笛卡儿积 R R R =2)(1R R R n n -= 关系R 的“复合”0ℵ 阿列夫零ℵ阿列夫⊇ 包含⊃ 真包含∪ 聚集的并运算∩ 聚集的走运算- （～） 聚集的差运算⊕ 聚集的对称差运算 m+m 同余加 m ⨯m 同余乘〡 限制R x ][ 聚集关于关系R 的等价类A /R 聚集A 上关于R 的商集 )(A R π 聚集A 关于关系R 的划分 )(A R π 聚集A 关于划分π的关系][a 元素a 产生的轮回群R a ][ 元素a 形成的R 等价类r C 由相容关系r 产生的最大相容类 I 环,幻想)/(n Z 模n 的同余类聚集)(mod k b a ≡a 与b 模k 相等)(R r 关系R 的自反闭包)(R s 关系R 的对称闭包+R ,)(R t 关系R 的传递闭包*R ,)(R rt 关系R 的自反.传递闭包 .i H 矩阵H 的第i 个行向量jH .矩阵H 的第j 个列向量 CP 命题演绎的定理（CP 规矩）EG 消失推广规矩（消失量词引入规矩）ES 消失量词特指规矩（消失量词消去规矩） UG 全称推广规矩（全称量词引入规矩） US 全称特指规矩（全称量词消去规矩） A I ,0R 恒等关系A 聚集A 的补集X X 所有X 到自身的映射X Y 所有从聚集X 到聚集Y 的函数)(][A A K 聚集A 的势（基数）R 关系r 相容关系 R 否关系R 补关系1-R （c R ） 逆关系S R 关系R 与关系S 的复合 n nR R R R ,关系R 的n 次幂 r r B B B 222,⨯⨯ 布尔代数2B 的r 次幂r B 2 含有r 2个元素的布尔代数domf 函数f 的界说域（前域） ranf 函数f 的值域Y X f →： （Y X f −→−） f 是X 到Y 的函数),(y x GCD y x ,最大公约数),(y x LCM y x ,的最小公倍数e 幺元θ 零元1-a 元素a 的逆元)(Ha aH H 关于a 的左（右）陪集 )(f Ker 同态映射f 的核（或称f 的同态核） A,B,C 合式公式⎪⎪⎭⎫ ⎝⎛k n 二项式系数⎪⎪⎭⎫ ⎝⎛p n n n n ,,,21 多项式系数[1,n] 1到n 的整数聚集)1()1(][+--=k x x x x k)1()1(][-++=k x x x x kkn C组合数 ),(v u d点u 与点v 间的距离 )(v d点v 的度数 )(v d +点v 的出度 )(v d -点v 的入度 ),(E V G = 点集为V,边集为E 的图 G图G 的补图 G G '≅图G 与图G '同构 *G平面图G 的对偶图 W(G)图G 的连通分支数 )(G κ图G 的点连通度 )(G λ图G 的边连通度 )(G δ图G 的最小点度 )(G ∆图G 的最大点度 A(G)图G 的邻接矩阵 P(G)图G 的可达矩阵 M(G)图G 的联系关系矩阵n K n 阶完整图m n K , 完整二分图C 复数集N 天然数集（包含0在内） +N 正天然数集P 素数集Q 有理数集+Q 正有理数集-Q 负有理数集R 实数集Z 整数集m Z ]}[,,]2[,]1{[mSet 集领域Top 拓扑空间领域Ab 交流群领域Grp 群领域Mon 单元半群领域Ring 有单位元的（联合）环领域 Rng 环领域CRng 交流环领域R-mod 环R 的左模领域 mod-R 环R 的右模领域Field 域领域Poset 偏序集领域。

离散数学等价符号
1. 相等符号：=
数学基本符号之一，表示左右两边的值相等。

2. 逆否命题符号：≡（三条横线）
逆否命题是由原命题的否定，和原命题的逆向推导得到的新
命题。

符号≡表示两个命题在逻辑上等价。

3. 否定符号：¬或 ~（波浪线）
表示否定，将命题取反。

比如¬p表示“非p”，即p的否定命题。

4. 合取命题符号：∧或 ·（点号）
合取命题指的是同时成立的多个命题，符号∧表示“且”或“并”。

5. 析取命题符号：∨或 +（加号）
析取命题指的是其中至少有一个成立的命题，符号∨表示“或”。

6. 蕴含符号：→ （箭头）
蕴含命题指的是一个命题在另一个命题成立的情况下一定成立，符号→表示“蕴含”。

7. 等价符号：↔︎（双向箭头）
等价命题指的是在双方成立的情况下，两个命题的真假相同，符号↔︎表示“等价”。

8. 全称量词符号：∀（倒的“E”）
全称量词指的是对于集合中的所有元素，命题都成立，符号∀表示“对于所有的”。

9. 存在量词符号：∃（倒的“E”加横线）
存在量词指的是在集合中存在一个元素，使得命题成立，符号∃表示“存在一个”。

10. 空集符号：∅（空心的集合符号）
空集指的是没有任何元素的集合，符号∅表示空集。

《离散数学》符号表全称量词（任意量词）存在量词├断定符（公式在L 中可证）╞满足符（公式在 E 上有效，公式在 E 上可满足）┐命题的“非”运算∧命题的“合取”（“与”）运算∨命题的“析取”（“或”，“可兼或”）运算→命题的“条件”运算命题的“双条件”运算的A B命题A与B等价关系A B 命题 A 与 B 的蕴涵关系A 公式 A的对偶公式wff 合式公式iff 当且仅当V 命题的“不可兼或”运算（“异或门” ）↑命题的“与非” 运算（“与非门”）↓命题的“或非”运算（“或非门” ）□模态词“必然”◇模态词“可能”φ空集∈属于（不属于）A （·）集合 A 的特征函数P（A）集合 A 的幂集A 集合 A 的点数A A A （A n）集合A的笛卡儿积R 2R R ( R nR n 1) 关系 R 的“复合”R阿列夫零阿列夫包含真包含∪ 集合的并运算 ∩ 集合的交运算 - （～）集合的差运算集合的对称差运算mm同余加mm同余乘〡限制[ x] R集合关于关系 R 的等价类 A/ R集合 A 上关于 R 的商集 R ( A)集合 A 关于关系 R 的划分 R (A)集合 A 关于划分 的关系 [a]元素 a 产生的循环群 [a] R元素 a 形成的 R 等价类 C r由相容关系 r 产生的最大相容类 I环，理想Z /( n)模 n 的同余类集合a b(mod k)a 与b 模 k 相等r ( R)关系 R 的自反闭包 s( R)关系 R 的对称闭包R ，t( R) 关系 R 的传递闭包R ，rt (R) 关系 R 的自反、传递闭包Hi . 矩阵 H 的第 i 个行向量H. j 矩阵 H 的第 j 个列向量CP 命题演绎的定理（ CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则）UG 全称推广规则（全称量词引入规则）US 全称特指规则（全称量词消去规则）I A，R0 恒等关系A 集合 A 的补集X X 所有 X 到自身的映射Y X 所有从集合 X 到集合 Y 的函数K[ A] ( A) 集合 A 的势（基数）R 关系r 相容关系R 否关系R 补关系R 1 （ R c）逆关系R S 关系 R 与关系 S 的复合R R R , R n 关系 R 的n次幂nB2 B2 , B2r 布尔代数 B2的 r 次幂rB2r 含有 2r个元素的布尔代数domf 函数 f 的定义域（前域）ranf 函数 f 的值域f： X Y （ X f Y ） f 是X到Y的函数GCD (x, y) x, y 最大公约数LCM (x, y) x, y 的最小公倍数e 幺元零元a 1 元素 a 的逆元aH (Ha ) H 关于a的左（右）陪集Ker ( f ) 同态映射 f 的核（或称 f 的同态核）A，B，C 合式公式n二项式系数kn多项式系数n1 ,n2 , , n p[1 ，n] 1 到 n 的整数集合[ x]k x( x 1) (x k 1)[ x]k x( x 1) (x k 1)C n k 组合数d (u, v) 点 u 与点 v 间的距离d (v) 点 v 的度数d (v) 点 v 的出度d (v) 点 v 的入度G (V ,E) 点集为 V ，边集为 E 的图G 图G的补图G G图G与图G同构G平面图 G 的对偶图W(G)图 G 的连通分支数(G)图G的点连通度(G)图G的边连通度(G)图G的最小点度(G)图G的最大点度A(G)图 G 的邻接矩阵P(G)图 G 的可达矩阵M(G)图 G 的关联矩阵K n n 阶完全图K n,m完全二分图C复数集N自然数集（包含0 在内）N正自然数集P素数集Q有理数集Q正有理数集Q负有理数集R实数集Z整数集Z m{[ 1] , [ 2] ,,[ m]}Set集范畴Top拓扑空间范畴Ab交换群范畴Grp群范畴Mon单元半群范畴Ring有单位元的（结合）环范畴Rng环范畴CRng交换环范畴R-mod环R的左模范畴mod-R环R的右模范畴Field域范畴Poset偏序集范畴。

离散常用数学符号人才源自知识，而知识的获得跟广泛的阅读积存是密不可分的。

古人有书中自有颜如玉之说。

杜甫所提倡的读书破万卷, 下笔如有神等，无不强调了多读书广集益的好处。

这篇离散常用数学符号，期望能够加强你的基础。

离散数学符号├确信符(公式在L中可证)╞满足符(公式在E上有效，公式在E上可满足)┐命题的非运算命题的合取(与)运算命题的析取(或，可兼或)运算命题的条件运算AB 命题A 与B 等价关系A=B 命题A与B的蕴涵关系A* 公式A 的对偶公式wff 合式公式iff 当且仅当命题的与非运算( 与非门)命题的或非运算( 或非门)□模态词必定◇模态词可能空集属于(??不属于)P(A) 集合A的幂集|A| 集合A的点数R^2=R○R [R^n=R^(n-1)○R] 关系R的复合(或下面加) 真包含集合的并运算集合的交运算- (～) 集合的差运算〡限制[X](右下角R) 集合关于关系R的等价类A/ R 集合A上关于R的商集[a] 元素a 产生的循环群I (i大写) 环，理想Z/(n) 模n的同余类集合r(R) 关系R的自反闭包s(R) 关系的对称闭包CP 命题演绎的定理(CP 规则)EG 存在推广规则(存在量词引入规则)ES 存在量词特指规则(存在量词消去规则) UG 全称推广规则(全称量词引入规则) US 全称特指规则(全称量词消去规则)R 关系r 相容关系R○S 关系与关系的复合domf 函数的定义域(前域)ranf 函数的值域f:XY 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 域范畴“师”之概念，大体是从先秦时期的“师长、师傅、先生”而来。

《离散数学》符号表∀ 全称量词（任意量词）∃ 存在量词├ 断定符（公式在L 中可证）╞ 满足符（公式在E 上有效，公式在E 上可满足）┐ 命题的“非”运算∧ 命题的“合取”（“与”）运算∨ 命题的“析取”（“或”，“可兼或”）运算→ 命题的“条件”运算↔ 命题的“双条件”运算的B A ⇔ 命题A 与B 等价关系B A ⇒ 命题A 与B 的蕴涵关系*A 公式A 的对偶公式wff 合式公式iff 当且仅当V 命题的“不可兼或”运算（ “异或门” ）↑ 命题的“与非” 运算（ “与非门” ）↓ 命题的“或非”运算（ “或非门” ）□ 模态词“必然”◇ 模态词“可能”φ 空集∈ 属于（∉不属于）A μ（·） 集合A 的特征函数P （A ） 集合A 的幂集A 集合A 的点数nA A A ⨯⨯⨯ （n A ） 集合A 的笛卡儿积R R R =2 )(1R R R n n -= 关系R 的“复合”0ℵ 阿列夫零ℵ 阿列夫⊇ 包含⊃ 真包含∪集合的并运算 ∩集合的交运算 - （～）集合的差运算 ⊕集合的对称差运算 m + m同余加 m ⨯ m同余乘 〡限制 R x ][集合关于关系R 的等价类 A /R集合A 上关于R 的商集 )(A R π集合A 关于关系R 的划分 )(A R π集合A 关于划分π的关系 ][a元素a 产生的循环群 R a ][元素a 形成的R 等价类 r C由相容关系r 产生的最大相容类 I环，理想 )/(n Z模n 的同余类集合 )(mod k b a ≡a 与b 模k 相等 )(R r关系R 的自反闭包 )(R s关系R 的对称闭包+R ，)(R t 关系R 的传递闭包*R ，)(R rt 关系R 的自反、传递闭包.i H 矩阵H 的第i 个行向量j H . 矩阵H 的第j 个列向量CP 命题演绎的定理（CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则）UG 全称推广规则（全称量词引入规则）US 全称特指规则（全称量词消去规则）A I ，0R 恒等关系A 集合A 的补集X X 所有X 到自身的映射X Y 所有从集合X 到集合Y 的函数)(][A A K 集合A 的势（基数）R 关系r 相容关系 R 否关系R 补关系1-R （c R ） 逆关系S R 关系R 与关系S 的复合n nR R R R ,关系R 的n 次幂 r rB B B 222,⨯⨯ 布尔代数2B 的r 次幂 r B 2 含有r 2个元素的布尔代数domf 函数f 的定义域（前域）ranf 函数f 的值域Y X f →： （Y X f −→−） f 是X 到Y 的函数 ),(y x GCD y x ,最大公约数),(y x LCM y x ,的最小公倍数e 幺元θ 零元1-a 元素a 的逆元)(Ha aH H 关于a 的左（右）陪集)(f Ker 同态映射f 的核（或称f 的同态核）A ，B ，C 合式公式⎪⎪⎭⎫ ⎝⎛k n 二项式系数⎪⎪⎭⎫ ⎝⎛p n n n n ,,,21 多项式系数[1，n] 1到n 的整数集合)1()1(][+--=k x x x x k)1()1(][-++=k x x x x kk nC 组合数 ),(v u d 点u 与点v 间的距离)(v d 点v 的度数)(v d + 点v 的出度)(v d - 点v 的入度),(E V G = 点集为V ，边集为E 的图G 图G 的补图G G '≅ 图G 与图G '同构*G 平面图G 的对偶图W(G) 图G 的连通分支数)(G κ 图G 的点连通度)(G λ 图G 的边连通度)(G δ图G 的最小点度 )(G ∆图G 的最大点度 A(G)图G 的邻接矩阵 P(G)图G 的可达矩阵 M(G)图G 的关联矩阵 n Kn 阶完全图 m n K ,完全二分图 C复数集 N自然数集（包含0在内） +N正自然数集 P素数集 Q有理数集 +Q正有理数集 -Q负有理数集 R实数集 Z整数集 m Z]}[,,]2[,]1{[m Set集范畴 Top拓扑空间范畴 Ab交换群范畴 Grp群范畴Mon 单元半群范畴Ring 有单位元的（结合）环范畴Rng 环范畴CRng 交换环范畴R-mod 环R的左模范畴mod-R 环R的右模范畴Field 域范畴Poset 偏序集范畴仅供个人用于学习、研究；不得用于商业用途。

离散数学符号大全├断定符（公式在L中可证）╞满足符（公式在E上有效，公式在E上可满足）┐命题的“非”运算∧命题的“合取”（“与”）运算∨命题的“析取”（“或”，“可兼或”）运算→ 命题的“条件”运算A<=>B 命题A 与B 等价关系A=>B 命题A与B的蕴涵关系A* 公式A 的对偶公式wff 合式公式iff 当且仅当↑ 命题的“与非” 运算（“与非门” ）↓ 命题的“或非”运算（“或非门” ）□模态词“必然”◇模态词“可能”φ 空集∈属于（??不属于）P（A）集合A的幂集|A| 集合A的点数R^2=R○R [R^n=R^(n-1)○R] 关系R的“复合”∪集合的并运算∩集合的交运算- （～）集合的差运算〡限制[X](右下角R) 集合关于关系R的等价类A/ R 集合A上关于R的商集[a] 元素a 产生的循环群I (i大写) 环，理想Z/(n) 模n的同余类集合r(R) 关系R的自反闭包s(R) 关系的对称闭包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 偏序集范畴。

离散数学符号⼤全├断定符（公式在 L 中可证）╞满⾜符（公式在 E上有效，公式在 E上可满⾜）┐命题的 “⾮”运算∧命题的 “合取 ”（“与”）运算∨命题的 “析取 ”（“或”，“可兼或 ”）运算→命题的 “条件 ”运算A<=>B 命题 A 与 B 等价关系A=>B 命题 A 与 B 的蕴涵关系A* 公式 A 的对偶公式wff 合式公式iff 当且仅当↑命题的 “与⾮ ” 运算（ “与⾮门 ” ）↓命题的 “或⾮ ”运算（ “或⾮门 ” ）□模态词 “必然 ”◇模态词 “可能 ”φ空集∈属于（ ??不属于）P（A）集合 A 的幂集|A| 集合 A 的点数R^2=R○R [R^n=R^(n-1)○R] 关系 R 的“复合 ”∪集合的并运算∩集合的交运算- （～）集合的差运算〡限制[X](右下⾓ R) 集合关于关系 R 的等价类A/ R 集合 A 上关于 R 的商集[a] 元素 a 产⽣的循环群I (i ⼤写 ) 环，理想Z/(n) 模 n 的同余类集合r(R) 关系 R 的⾃反闭包s(R) 关系的对称闭包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 偏序集范畴。

离散数学合取和析取符号(全称量词（任意量词）(存在量词├断定符（公式在L中可证）╞满足符（公式在E上有效，公式在E上可满足）┐命题的“非”运算∧命题的“合取”（“与”）运算∨命题的“析取”（“或”，“可兼或”）运算→命题的“条件”运算命题的“双条件”运算的命题与等价关系命题与的蕴涵关系公式的对偶公式合式公式当且仅当命题的“不可兼或”运算（“异或门” ）↑命题的“与非” 运算（“与非门” ）↓命题的“或非”运算（“或非门” ）□模态词“必然”◇模态词“可能”φ空集∈属于（(不属于）（·）集合A的特征函数P（A）集合A的幂集集合A的点数（）集合A的笛卡儿积关系R的“复合”阿列夫零阿列夫包含真包含∪集合的并运算∩集合的交运算- （～）集合的差运算(集合的对称差运算m同余加m同余乘〡限制集合关于关系R的等价类/集合A上关于R的商集集合A关于关系R的划分集合A关于划分的关系元素产生的循环群元素形成的等价类由相容关系产生的最大相容类环，理想模n的同余类集合与模相等关系的自反闭包关系的对称闭包，关系的传递闭包，关系的自反、传递闭包矩阵的第个行向量矩阵的第个列向量CP命题演绎的定理（CP 规则）EG存在推广规则（存在量词引入规则）ES存在量词特指规则（存在量词消去规则）UG全称推广规则（全称量词引入规则）US全称特指规则（全称量词消去规则），恒等关系集合的补集所有X到自身的映射所有从集合X到集合Y的函数集合的势（基数）R关系相容关系R否关系补关系（）逆关系关系与关系的复合关系的次幂布尔代数的次幂含有个元素的布尔代数函数的定义域（前域）函数的值域（）是X到Y的函数最大公约数的最小公倍数幺元零元元素的逆元关于的左（右）陪集同态映射的核（或称的同态核）A，B，C合式公式二项式系数多项式系数[1，n]1到n的整数集合组合数点与点间的距离点的度数点的出度点的入度点集为V，边集为E的图图的补图图与图同构平面图G的对偶图W(G)图G的连通分支数图G的点连通度图G的边连通度图G的最小点度图G的最大点度A(G)图G的邻接矩阵P(G)图G的可达矩阵M(G)图G的关联矩阵阶完全图完全二分图C复数集N自然数集（包含0在内）正自然数集P素数集Q有理数集正有理数集负有理数集R实数集Z整数集Set集范畴Top拓扑空间范畴Ab交换群范畴Grp群范畴Mon单元半群范畴Ring有单位元的（结合）环范畴Rng环范畴CRng交换环范畴R-mod环R的左模范畴mod-R环R的右模范畴Field域范畴Poset偏序集范畴- 1 -。

生命是永恒不断的创造，因为在它内部蕴含着过剩的精力，它不断流溢，越出时间和空间的界限，它不停地追求，以形形色色的自我表现的形式表现出来。

－－泰戈尔《离散数学》符号表∀ 全称量词（任意量词）∃ 存在量词├ 断定符（公式在L 中可证）╞ 满足符（公式在E 上有效，公式在E 上可满足）┐ 命题的“非”运算∧ 命题的“合取”（“与”）运算∨ 命题的“析取”（“或”，“可兼或”）运算→ 命题的“条件”运算↔ 命题的“双条件”运算的B A ⇔ 命题A 与B 等价关系B A ⇒ 命题A 与B 的蕴涵关系*A 公式A 的对偶公式wff 合式公式iff 当且仅当V 命题的“不可兼或”运算（ “异或门” ）↑ 命题的“与非” 运算（ “与非门” ）↓ 命题的“或非”运算（ “或非门” ）□ 模态词“必然”◇ 模态词“可能”φ 空集↔ 属于（∉不属于）A μ（·） 集合A 的特征函数P （A ） 集合A 的幂集A 集合A 的点数nA A A ⨯⨯⨯ （n A ） 集合A 的笛卡儿积R R R =2 )(1R R R n n -= 关系R 的“复合”0ℵ 阿列夫零ℵ 阿列夫⊇ 包含⊃ 真包含∪ 集合的并运算∩ 集合的交运算- （～） 集合的差运算⊕ 集合的对称差运算m + m 同余加m ⨯ m 同余乘〡 限制R x ][ 集合关于关系R 的等价类A /R 集合A 上关于R 的商集)(A R π 集合A 关于关系R 的划分)(A R π 集合A 关于划分π的关系][a 元素a 产生的循环群R a ][ 元素a 形成的R 等价类r C 由相容关系r 产生的最大相容类I 环，理想)/(n Z 模n 的同余类集合)(mod k b a ≡ a 与b 模k 相等)(R r 关系R 的自反闭包)(R s 关系R 的对称闭包+R ，)(R t 关系R 的传递闭包*R ，)(R rt 关系R 的自反、传递闭包.i H 矩阵H 的第i 个行向量j H . 矩阵H 的第j 个列向量CP 命题演绎的定理（CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则） UG 全称推广规则（全称量词引入规则） US 全称特指规则（全称量词消去规则） A I ，0R 恒等关系A 集合A 的补集X X 所有X 到自身的映射X Y 所有从集合X 到集合Y 的函数)(][A A K 集合A 的势（基数）R 关系r 相容关系 R 否关系R 补关系1-R （c R ） 逆关系S R 关系R 与关系S 的复合n nR R R R ,关系R 的n 次幂 r r B B B 222,⨯⨯ 布尔代数2B 的r 次幂r B 2 含有r 2个元素的布尔代数domf 函数f 的定义域（前域）ranf 函数f 的值域Y X f →： （Y X f −→−） f 是X 到Y 的函数),(y x GCD y x ,最大公约数),(y x LCM y x ,的最小公倍数e 幺元θ 零元1-a 元素a 的逆元)(Ha aH H 关于a 的左（右）陪集)(f Ker 同态映射f 的核（或称f 的同态核） A ，B ，C 合式公式⎪⎪⎭⎫ ⎝⎛k n 二项式系数⎪⎪⎭⎫ ⎝⎛p n n n n ,,,21 多项式系数[1，n] 1到n 的整数集合)1()1(][+--=k x x x x k)1()1(][-++=k x x x x kk n C 组合数),(v u d 点u 与点v 间的距离 )(v d 点v 的度数)(v d + 点v 的出度)(v d - 点v 的入度),(E V G = 点集为V ，边集为E 的图 G 图G 的补图G G '≅ 图G 与图G '同构*G 平面图G 的对偶图W(G) 图G 的连通分支数 )(G κ 图G 的点连通度)(G λ 图G 的边连通度)(G δ 图G 的最小点度)(G ∆ 图G 的最大点度A(G) 图G 的邻接矩阵P(G) 图G 的可达矩阵M(G) 图G 的关联矩阵n K n 阶完全图m n K , 完全二分图C 复数集N 自然数集（包含0在内） +N 正自然数集P 素数集Q 有理数集+Q 正有理数集-Q 负有理数集R 实数集Z 整数集m Z ]}[,,]2[,]1{[m Set 集范畴Top 拓扑空间范畴Ab 交换群范畴Grp 群范畴Mon 单元半群范畴Ring 有单位元的（结合）环范畴 Rng 环范畴CRng 交换环范畴R-mod 环R 的左模范畴mod-R 环R 的右模范畴Field 域范畴Poset 偏序集范畴。

离散数学符号∀全称量词∃存在量词├ 断定符（公式在L中可证）╞ 满足符（公式在E上有效，公式在E上可满足）﹁命题的“非”运算，如命题的否定为﹁p∧命题的“合取”（“与”）运算∨命题的“析取”（“或”，“可兼或”）运算→ 命题的“条件”运算↔ 命题的“双条件”运算的p<=>q命题p与q的等价关系p=>q命题p与q的蕴涵关系A* 公式A的对偶公式wff 合式公式iff 当且仅当↑ 命题的“与非” 运算（“与非门” ）↓ 命题的“或非”运算（“或非门” ）□ 模态词“必然”◇模态词“可能”∅空集∈属于A∈B,即“A属于B”∉不属于P(A) 集合A的幂集|A| 集合A的点数R²=R○R [R=R○R] 关系R的“复合”א阿列夫⊆包含⊂（或下面加≠）真包含∪集合的并运算∩ 集合的交运算-或\ 集合的差运算〡限制集合关于关系R的等价类A/R集合A上关于R的商集[a] 元素a产生的循环群I环，理想Z/(n) 模n的同余类集合r(R) 关系R的自反闭包s(R) 关系R的对称闭包CP 命题演绎的定理（CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则）UG 全称推广规则（全称量词引入规则）US 全称特指规则（全称量词消去规则）R 关系r 相容关系R○S 关系与关系的复合domf 函数的定义域（前域）ranf 函数的值域f:x→y f是x到y的函数(x,y) x与y的最大公约数[x,y] x与y的最小公倍数aH(Ha) H关于a的左（右）陪集Ker(f) 同态映射f的核（或称f同态核）[1，n] 1到n的整数集合d(A,B),|AB|,或AB点A与点B间的距离d(V) 点V的度数G=(V,E) 点集为V，边集为E的图GW(G) 图G的连通分支数k(G) 图G的点连通度Δ(G) 图G的最大点度A(G) 图G的邻接矩阵P(G) 图G的可达矩阵M(G) 图G的关联矩阵C复数集I 虚数集N 自然数集（包含0在内）N*（N+）正自然数集，正整数集（*表示从集合中去掉元素“0”）P素数集Q 有理数集R 实数集Z 整数集Set 集范畴Top 拓扑空间范畴Ab 交换群范畴Grp 群范畴Mon 单元半群范畴R ing 有单位元的（结合）环范畴R ng 环范畴C R ng 交换环范畴R-mod 环R的左模范畴mod-R环R的右模范畴Field 域范畴Poset 偏序集范畴部分希腊字母数学符号。

├断定符(公式在L中可证)╞满足符(公式在E上有效,公式在E上可满足)┐命题的“非”运算∧命题的“合取”(“与”)运算∨命题的“析取”(“或”,“可兼或”)运算→ 命题的“条件”运算A<=>B 命题A 与B 等价关系A=>B 命题A与B的蕴涵关系A* 公式A 的对偶公式wff 合式公式iff 当且仅当↑ 命题的“与非” 运算(“与非门” )↓ 命题的“或非”运算(“或非门” )□模态词“必然”◇模态词“可能”φ 空集∈属于(??不属于)P(A)集合A的幂集|A| 集合A的点数R^2=R○R [R^n=R^(n-1)○R] 关系R的“复合”∪集合的并运算∩集合的交运算- (~)集合的差运算〡限制[X](右下角R) 集合关于关系R的等价类A/ R 集合A上关于R的商集[a] 元素a 产生的循环群I (i大写) 环,理想Z/(n) 模n的同余类集合r(R) 关系R的自反闭包s(R) 关系的对称闭包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 偏序集范畴。

《离散数学》符号表∀ 全称量词（任意量词）∃ 存在量词├ 断定符（公式在L 中可证）╞ 满足符（公式在E 上有效，公式在E 上可满足） ┐ 命题的“非”运算∧ 命题的“合取”（“与”）运算∨ 命题的“析取”（“或”，“可兼或”）运算 → 命题的“条件”运算↔ 命题的“双条件”运算的B A ⇔ 命题A 与B 等价关系B A ⇒ 命题A 与B 的蕴涵关系*A 公式A 的对偶公式wff 合式公式iff 当且仅当V 命题的“不可兼或”运算（ “异或门” ） ↑ 命题的“与非” 运算（ “与非门” ） ↓ 命题的“或非”运算（ “或非门” ） □ 模态词“必然”◇ 模态词“可能”φ 空集∈ 属于（∉不属于）A μ（·） 集合A 的特征函数P （A ） 集合A 的幂集A 集合A 的点数4434421ΛnA A A ⨯⨯⨯ （n A ） 集合A 的笛卡儿积R R R ο=2 )(1R R R n n ο-= 关系R 的“复合” 0ℵ 阿列夫零ℵ 阿列夫⊇ 包含⊃ 真包含∪集合的并运算 ∩集合的交运算 - （～）集合的差运算 ⊕集合的对称差运算 m + m同余加 m ⨯ m同余乘 〡限制 R x ][集合关于关系R 的等价类 A /R集合A 上关于R 的商集 )(A R π集合A 关于关系R 的划分 )(A R π集合A 关于划分π的关系 ][a元素a 产生的循环群 R a ][元素a 形成的R 等价类 r C由相容关系r 产生的最大相容类 I环，理想 )/(n Z模n 的同余类集合 )(mod k b a ≡a 与b 模k 相等 )(R r关系R 的自反闭包 )(R s关系R 的对称闭包+R ，)(R t 关系R 的传递闭包*R ，)(R rt 关系R 的自反、传递闭包.i H 矩阵H 的第i 个行向量j H . 矩阵H 的第j 个列向量CP 命题演绎的定理（CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则） UG 全称推广规则（全称量词引入规则） US 全称特指规则（全称量词消去规则） A I ，0R 恒等关系A 集合A 的补集X X 所有X 到自身的映射X Y 所有从集合X 到集合Y 的函数)(][A A K 集合A 的势（基数）R 关系r 相容关系 R 否关系R 补关系1-R （c R ） 逆关系S R ο 关系R 与关系S 的复合n nR R R R ,4434421οΛοο 关系R 的n 次幂r rB B B 222,43421Λ⨯⨯ 布尔代数2B 的r 次幂 r B 2 含有r 2个元素的布尔代数domf 函数f 的定义域（前域）ranf 函数f 的值域Y X f →： （Y X f −→−） f 是X 到Y 的函数 ),(y x GCD y x ,最大公约数 ),(y x LCM y x ,的最小公倍数 e 幺元θ 零元1-a 元素a 的逆元 )(Ha aH H 关于a 的左（右）陪集 )(f Ker 同态映射f 的核（或称f 的同态核） A ，B ，C 合式公式⎪⎪⎭⎫ ⎝⎛k n 二项式系数⎪⎪⎭⎫ ⎝⎛p n n n n ,,,21Λ 多项式系数[1，n] 1到n 的整数集合)1()1(][+--=k x x x x k Λ)1()1(][-++=k x x x x k Λk n C 组合数),(v u d 点u 与点v 间的距离 )(v d 点v 的度数)(v d + 点v 的出度)(v d - 点v 的入度),(E V G = 点集为V ，边集为E 的图 G 图G 的补图G G '≅ 图G 与图G '同构 *G 平面图G 的对偶图 W(G) 图G 的连通分支数 )(G κ 图G 的点连通度 )(G λ 图G 的边连通度 )(G δ图G 的最小点度 )(G ∆图G 的最大点度 A(G)图G 的邻接矩阵 P(G)图G 的可达矩阵 M(G)图G 的关联矩阵 n Kn 阶完全图 m n K ,完全二分图 C复数集 N自然数集（包含0在内） +N正自然数集 P素数集 Q有理数集 +Q正有理数集 -Q负有理数集 R实数集 Z整数集 m Z]}[,,]2[,]1{[m Λ Set集范畴 Top拓扑空间范畴 Ab交换群范畴 Grp群范畴Mon 单元半群范畴Ring 有单位元的（结合）环范畴Rng 环范畴CRng 交换环范畴R-mod 环R的左模范畴mod-R 环R的右模范畴Field 域范畴Poset 偏序集范畴。

离散数学符号∀全称量词∃存在量词├ 断定符（公式在L中可证）╞ 满足符（公式在E上有效，公式在E上可满足）﹁命题的“非”运算，如命题的否定为﹁p∧命题的“合取”（“与”）运算∨命题的“析取”（“或”，“可兼或”）运算→ 命题的“条件”运算↔ 命题的“双条件”运算的p<=>q命题p与q的等价关系p=>q命题p与q的蕴涵关系A* 公式A的对偶公式wff 合式公式iff 当且仅当↑ 命题的“与非” 运算（“与非门” ）↓ 命题的“或非”运算（“或非门” ）□ 模态词“必然”◇模态词“可能”∅空集∈属于A∈B,即“A属于B”∉不属于P(A) 集合A的幂集|A| 集合A的点数R²=R○R [R=R○R] 关系R的“复合”א阿列夫⊆包含⊂（或下面加≠）真包含∪集合的并运算∩ 集合的交运算-或\ 集合的差运算〡限制集合关于关系R的等价类A/R集合A上关于R的商集[a] 元素a产生的循环群I环，理想Z/(n) 模n的同余类集合r(R) 关系R的自反闭包s(R) 关系R的对称闭包CP 命题演绎的定理（CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则）UG 全称推广规则（全称量词引入规则）US 全称特指规则（全称量词消去规则）R 关系r 相容关系R○S 关系与关系的复合domf 函数的定义域（前域）ranf 函数的值域f:x→y f是x到y的函数(x,y) x与y的最大公约数[x,y] x与y的最小公倍数aH(Ha) H关于a的左（右）陪集Ker(f) 同态映射f的核（或称f同态核）[1，n] 1到n的整数集合d(A,B),|AB|,或AB点A与点B间的距离d(V) 点V的度数G=(V,E) 点集为V，边集为E的图GW(G) 图G的连通分支数k(G) 图G的点连通度Δ(G) 图G的最大点度A(G) 图G的邻接矩阵P(G) 图G的可达矩阵M(G) 图G的关联矩阵C复数集I 虚数集N 自然数集（包含0在内）N*（N+）正自然数集，正整数集（*表示从集合中去掉元素“0”）P素数集Q 有理数集R 实数集Z 整数集Set 集范畴Top 拓扑空间范畴Ab 交换群范畴Grp 群范畴Mon 单元半群范畴R ing 有单位元的（结合）环范畴R ng 环范畴C R ng 交换环范畴R-mod 环R的左模范畴mod-R环R的右模范畴Field 域范畴Poset 偏序集范畴部分希腊字母数学符号。

离散数学符号（未全）∀全称量词∃存在量词├ 断定符（公式在L中可证）╞ 满足符（公式在E上有效，公式在E上可满足）┐ 命题的“非”运算∧ 命题的“合取”（“与”）运算∨ 命题的“析取”（“或”，“可兼或”）运算→ 命题的“条件”运算↔命题的“双条件”运算的A<=>B 命题A 与B 等价关系A=>B 命题 A与 B的蕴涵关系A* 公式A 的对偶公式wff 合式公式iff 当且仅当↑ 命题的“与非” 运算（“与非门” ）↓ 命题的“或非”运算（“或非门” ）□ 模态词“必然”◇ 模态词“可能”φ 空集∈ 属于A∈B 则为A属于B（∉不属于）P（A）集合A的幂集|A| 集合A的点数R^2=R○R [R^n=R^(n-1)○R] 关系R的“复合”א阿列夫⊆包含⊂（或下面加≠）真包含∪ 集合的并运算∩ 集合的交运算- （～）集合的差运算〡限制[X](右下角R) 集合关于关系R的等价类A/ R 集合A上关于R的商集[a] 元素a 产生的循环群I (i大写) 环，理想Z/(n) 模n的同余类集合r(R) 关系 R的自反闭包s(R) 关系的对称闭包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 有单位元的（结合）环范畴编辑本段数学符号的意义符号(Symbol) 意义(Meaning)= 等于 is equal to≠ 不等于 is not equal to< 小于 is less than> 大于 is greater than|| 平行 is parallel to≥ 大于等于 is greater than or equal to≤ 小于等于 is less than or equal to≡恒等于或同余π 圆周率|x| 绝对值 absolute value of X∽ 相似 is similar to≌ 全等 is equal to(especially for triangle ) >>远远大于号<< 远远小于号∪并集∩交集⊆包含于⊙ 圆\ 求商值β bet 磁通系数；角度；系数（数学中常用作表示未知角）φ fai 磁通；角（数学中常用作表示未知角）∞无穷大ln(x) 以e为底的对数lg(x) 以10为底的对数floor(x) 上取整函数ceil(x) 下取整函数x mod y 求余数x - floor(x) 小数部分∫f(x)dx不定积分∫[a:b]f(x)dx a到b的定积分∑(n=p,q)f(n) 表示f(n)的n从p到q逐步变化对f(n)的连加和。