数学符号：φ空集、∈属于等多种集合及关系运算符号介绍

空集记作φ, 元素与集合的关系用符号表示, 若元素在集合中则为属于, 不在则为不属于, 集合A的幂集记作P(A), 集合A的元素个数记作|A|, 平面二维空间表示为R^2, 等同于R乘以R

R^n=R^(n-1)R

关系R的合并 א 阿列夫包含 ⊆ 真包含 ⊂ 等于 ⊆ 集合合并运算 ∪ 集合交叉运算 ∩ 集合减去运算 - （～）限制运算〡集合依据关系R的等价集合 (右下角R) 集合关于关系R的等价组 A/ R 集合A根据R的商集元素a形成的循环结构 I (i大写) 环体，理想体 Z/(n) 模数n的同余集合 r(R) 关系R的反身闭包 s(R) 关系R的对称闭包 CP 命题推演的定理（CP 规则） EG 存在性推广规则（存在量词引入规则） ES 存在量词指定规则（存在量词消去规则） UG 全称推广规则（全称量词引入规则） US 全称指定规则（全称量词消去规则） R 关系 r 相容性关系 RS 关系与关系的叠合 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的整数范围 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 自然数范围（含零） N* 正自然数范围 P 素数范围 Q 有理数范围 R 实数范围 Z 整数范围 Set 集合类型范畴 Top 拓扑空间类型范畴 Ab 交换群类型范畴 Grp 群类型范畴 Mon 单元半群类型范畴 Ring 有单位元的（结合）环类型范畴 Rng 环类型范畴 CRng 交换环类型范畴 R-mod 环R的左模类型范畴 mod-R 环R的右模类型范畴 Field 域类型范畴 Poset 偏序集类型范畴

本文来自作者[翠雁]投稿，不代表芝麻开门立场，如若转载，请注明出处：https://aizmkm.com/zshi/202510-9195.html