⊆:包含于 比如A⊆B,即A是B的子集,A有可能是B本身。 ⊊ :真包含于(阅读论文的时候有可能出现) 比如A⊊B,即A是B的真子集,A中所有元素B中都有且A不可能是B本身。 另外 ⫋ 也是真包含于的意思,现在普遍使用这个符号