“真包含于”的符号是 ⫋,还是 ⊂?两个符号的关系是什么?

“真包含于”的符号是 ⫋,还是 ⊂?两个符号的关系是什么?

这没有什么,不过就是符号的用法上有分歧罢了。

说白了,⊂ 是个有歧义的符号,有的作者用 来表示A是B的真子集,而有的作者则以之表示A是B的子集。

为了避免歧义,可以用 来分别表示「A是B的真子集,A是B的子集」。前者的意思是 . 这样写当然也就没有歧义了。

⫋ 就是⊊的另一种写法

标签:符号,包含,关系,数学,数学史,数学符号,集合论,集合(数学)