“包含”和“真包含”是集合与集合之间的关系，也叫子集和真子集关系。真包含首先是包含（前一集合的元素都是后一集合的元素）但后一集合存在不是前一集合的元素。
包含于”与“真包含于”都是数学集合的概念，二者的区别就在于前者是否是后者的真子集，前者是后者的真子集就是“真包含”；前者是后者的子集且可能与后者相等，则是“包含于”。
包含于号是用来表示一个集合是另一个集合的子集的记号。如A包含于B，表示集合A包含于集合B内，或A是B的子集的意思。
记作A_B。真包含于号是用来表示一个集合是另一个集合的真子集的记号。如A真包含于B，表示集合A真包含于集合B内，或A是B的真子集的意思。记作A_B。
⊆是包含于符号：A包含于B-则A为B的子集或等于B。
⊇是包含符号：A包含B-则B为A的子集或等于A。
⫋真包含：A真包含于B-则A为B的真子集，若B={1，2}，则A={1}或{2}或空集。
运算符号：
如加号（+），减号（－），乘号（×或·），除号（÷或/），两个集合的并集（∪），交集（∩），根号（√￣），对数（log，lg，ln，lb），比（:），绝对值符号| |，微分（d），积分（∫），闭合曲面（曲线）积分（∮）等。
关系符号：
如“=”是等号，“≈”是近似符号（即约等于），“≠”是不等号，“>”是大于符号，“<”是小于符号，“≥”是大于或等于符号（也可写作“≮”，即不小于），“≤”是小于或等于符号（也可写作“≯”，即不大于），“→ ”表示变量变化的趋势。
“∽”是相似符号，“≌”是全等号，“∥”是平行符号，“⊥”是垂直符号，“∝”是正比例符号（表示反比例时可以利用倒数关系），“∈”是属于符号，“⊆”是包含于符号，“⊇”是包含符号，“|”表示“能整除”（例如a|b 表示“a能整除b”，而 ||b表示r是a恰能整除b的最大幂次)，x,y等任何字母都可以代表未知数。
扩展资料：
在一个随机现象中有两个事件A与B。若事件A中任一个样本点必在B中，则称A被包含在B中，或B包含A，记为A⊂B或B⊃A，这时事件A的发生必导致事件B发生。
二者是主动与被动的关系，A包含B是指B是A的子集，A包含于B是指A是B的子集。
例如，{1，2，3}包含{1，2} 但{1，2}包含于{1，2，3}
排列组合符号
C 组合数
A (或P) 排列数
n 元素的总个数
r 参与选择的元素个数
! 阶乘，如5！=5×4×3×2×1=120，规定0！=1
!! 半阶乘(又称双阶乘)，例如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840
∑连加
离散数学符号
∀ 全称量词
∃存在量词
├ 断定符（公式在L中可证）
╞ 满足符（公式在E上有效，公式在E上可满足）
﹁ 命题的“非”运算，如命题的否定为﹁p
∧ 命题的“合取”（“与”）运算
∨ 命题的“析取”（“或”，“可兼或”）运算
→ 命题的“条件”运算
↔ 命题的“双条件”运算的
p<=>q 命题p与q的等价关系
p=>q 命题p与q的蕴涵关系（p是q的充分条件，q是p的必要条件）
A* 公式A的对偶公式，或表示A的数论倒数（此时亦可写为
）
wff 合式公式
iff 当且仅当
↑ 命题的“与非” 运算（ “与非门” ）
↓ 命题的“或非”运算（ “或非门” ）
□ 模态词“必然”
◇ 模态词“可能”
∅空集
∈ 属于（如"A∈B"，即“A属于B”）
∉ 不属于
P(A) 集合A的幂集
|A| 集合A的点数
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024