GB3102.11-93 项号 符号 应用 意义或读法 备注及示例 11-2.18 BCA B含于A:B是A的子集 B的每一元均属于A,也可以 B is included inA 用C Bis a subset of 11-2.19 B军A B真包含于A:B是A的真 B的每一元均屈于A,但B不 子集 等于A Bis properly included inA Bis a proper subset of A 11-2.20 C车A C不包含于A:C不是A的 也可用丈 子集 is not included in C is not a subset of A 11-2.21 A2B A包含B[作为子集] A包含了B的每一元,也可用 A includes B(as subset) AB与B二A的含义相同 11-2.22 A2B A真包含B A包含了B的每一元,但A不 A includes B properly 等于B。 A吴B与B柔A的含义相同 11-2.23 A主C A不包含C[作为子集] 也可用 A does not include C (as A卫C与C工A的含义相同 subset) 11-2.24 U AUB A与B的并集 属于A或属于B或属于两者 union of A and B 的所有元的集。 AUB={xlz∈AVx∈B) 参阅11-3.2 11-2.25 U a 诸集A,A。的并集 union ofa collection of set 9A,=A1UA2U.UA A1.,A: 至少属于诸集A1,",A,之 的所有元的集。 也可用U1,与Uer, 其中1表示指标集
项号 符号 应用 意义或读法 备注及示例 含于 是 的子集 的每一元均属于 也可以 用 真包含于 是 的真 子集 的每一元均属于 但 不 等于 不包含于 不是 的 子集 也可用 包含 作为子集 包含了 的每一元 也可用 与 的含义相同 真包含 包含了 的每一元 但 不 等于 与 的含义相同 不包含 作为子集 也可用 与 的含义相同 与 的并集 属于 或属于 或属于两者 的所有元的集 参阅 诸集 的并集 至少属于诸集 之一 的所有元的集 也可用 与 其中 表示指标集
GB3102.11-93 项号 符号 应用 意义或读法 备注及示例 11-2.26 n AnB A与B的交集 所有既属于A又属于B的元 intersection of A and B 的 AnB={xlz∈AAx∈B) 参阅11-3.1 11-2.27 n D4 诸集A1,.,A,的交集 04=410404. intersection of a collectio 共屈于诸集A1,A2,.,A,的 of setsA. 所有元的集。 也可用n,g与ne 其中1表示指标集 11-2.28 A\B A与B之差:A减B 所有属于A但不属于B的元 difference of A and B; 的集。 A minus B A八B={:lz∈AΛxB} 也可用A一B 11-2.29 A中子集B的补集或余集 A中不属于子集B的所有元 complement of subset B of 的集, A B={xx∈AAxB} 如果行文中集A已很明确,则常 可省去符号A. 也可写成B=A八B 11-2.30(,) (a,) 有序偶a,b:偶a,b (a,b)=(c,d)当且仅当a=c ordered pair coupe 及b=d 不与其他符号混淆时,也可用 (a,b) 11-2.31(,., (a1a2,a.) 有序幕元组 也可用〈1,42,4,) ordered n-tuplet 11-2.32 AXB A与B的笛卡儿积 所有由a∈A与b∈B作成的 cartesian product of A and有序偶(a,b)的集, B AXB={(a,b)la∈AAb∈B} AXAX.XA记成A,其 中为乘积中的因子数
项号 符号 应用 意义或读法 备注及示例 与 的交集 所有既属于 又属于 的元 的集 参阅 诸集 的交集 共属于诸集 的 所有元的集 也可用 与 其中 表示指标集 与 之差 减 所有属于 但不属于 的元 的集 也可用 中子集 的补集或余集 中不属于子集 的所有元 的集 如果行文中集 已很明确 则常 可省去符号 也可写成 有序偶 偶 当且仅当 及 不与其他符号混淆时 也可用 有序 元组 也可用 与 的笛卡儿积 所有由 与 作成的 有序偶 的集 记成 其 中 为乘积中的因子数
GB3102.11-93 项号符号 应用 意义或读法 备注及示例 11-2.33 AXA中点对(e,x)的集,其 △A={(x,x)x∈A} 中x∈A;AXA的对角集 也可用d set of pairs (,of A> A,where z∈A; diagonal of the set AXA 2.3数理逻辑符号 项号 符号 应用 符号名称 意义、读法及备注 11-3.1 pAg 合取符号 ?和g conjunction sign 11-3.2 pVg 析取符号 ?或g disjunction sign 11-3.3 否定符号 p的否定不是P非? negation sign 11-3.4 推断符号 若则gP蕴含g implicationsign 也可写为 有时也用一 11-3.5 pHg 等价符号 卫y且→?P等价于g equivalence sign 有时也用+ 11-3.6 全称量词 命题()对于每一个属于A (Vz EA)?()universal quantifier 的x为真。 当考虑的集合A从上下文看 很明白时,可用记号Vxp(z) 11-3.7 3 3x∈AD(x) 存在量词 存在A中的元x使》(x)为 日z∈A)p() 当考虑的集合A从上下文看 很明白时,可用记号3xp(红)。 !或妇用来表示存在一个且 只有一个元素使p(红)为真 7
项号 符号 应用 意义或读法 备注及示例 中点对 的集 其 中 的对角集 也可用 数理逻辑符号 项号 符号 应用 符号名称 意义 读法及备注 合取符号 和 析取符号 或 否定符号 的否定 不是 非 推断符号 若 则 蕴含 也可写为 有时也用 等价符号 且 等价于 有时也用 全称量词 命题 对于每一个属于 的 为真 当考虑的集合 从上下文看 很明白时 可用记号 存在量词 存在 中的元 使 为 真 当考虑的集合 从上下文看 很明白时 可用记号 或 用来表示存在一个且 只有一个元素使 为真
GB3102.11-93 2.4杂类符号 项号 符号 应用 意义或读法 备注及示例 1-4.1 a=b a等于b =用来强调这一等式是数学上 a is equal to b 的恒等[式] 11-4.2 a丸 a不等于b ais not equal to 11-4.3 当 当b 按定义a等于b或a以b为 例:当m0 is definition equal to 式中?为动量,m为质量,”为速 也可用当 11-4.4 a相当于6 例如在地图上当1cm相当于 a corresponds to b 10km长时,可写成 1cm≌10km 11-4.5 a约等于6 符号二被用于“渐近等于”,参 ais approximately equal to 阅11-6.11 b 11-4.6 accb a与b成正比 在[1]中也用 a is proportional to 11-4.7 a6 a比b 选自[2] ratio of a to b 11-4.8 < a< a小于b a is less than 11-4.9 6>a b大于a bis greater than a 11-4.10 么 a≤b a小于或等于 不用≤ ais less than or equal to 11-4.11 ≥ 6>≥a 方大于或等于: 不用≥ is greater than or equal to 11-4.12 《 a a远小于 a is much less thanb 11-4.13 5远大于a bis much greater than a
杂类符号 项号 符号 应用 意义或读法 备注及示例 等于 用来强调这一等式是数学上 的恒等 式 不等于 按定义 等于 或 以 为 定义 例 式中 为动量 为质量 为速 度 也可用 相当于 例如在地图上当 相当于 长时 可写成 约等于 符号 被用于 渐近等于 参 阅 与 成正比 在 中也用 比 选自 小于 大于 小于或等于 不用 大于或等于 不用 远小于 远大于
GB3102.11-93 项号符号 应用 意义或读法 备注及示例 11-4.14 00 无穷[大]或无限[大] infinity 11-4.15 anb 数字范围 这里的a和。为不同的实数, the range of numbers 例如5~10表示由5至10。 选自[2】 11-4.16 13.59 小数点 整数和小数之间用处于下方位 decimal point 置的小数占“”分开 参阅GB3101的3.3.2 11-4.17 3.12382 循环小数 即:3.12382382 circulator 11-4.18 % 5%~10% 百分率 ~前的%不应省略 percent 11-4.19() 圆括号 11-4.20[] 方括号 square brackets 11-4.21{) 花括号 braces 11-4.22() 角括号 angle brackets 11-4.23 正或负 positive or negative 11-4.24 负或正 egativeor positive 11-4.25 max 最大 maximum 1-4.26 min 最小 minimum
项号 符号 应用 意义或读法 备注及示例 无穷 大 或无限 大 数字范围 这里的 和 为不同的实数 例如 表示由 至 选自 小数点 整数和小数之间用处于下方位 置的小数点 分开 参阅 的 循环小数 即 百分率 前的 不应省略 圆括号 方括号 花括号 角括号 正或负 负或正 最大 最小