
这没有什么,不过就是符号的用法上有分歧罢了。
说白了,⊂ 是个有歧义的符号,有的作者用 来表示A是B的真子集,而有的作者则以之表示A是B的子集。
为了避免歧义,可以用 来分别表示「A是B的真子集,A是B的子集」。前者的意思是 . 这样写当然也就没有歧义了。
⫋ 就是⊊的另一种写法

这没有什么,不过就是符号的用法上有分歧罢了。
说白了,⊂ 是个有歧义的符号,有的作者用 来表示A是B的真子集,而有的作者则以之表示A是B的子集。
为了避免歧义,可以用 来分别表示「A是B的真子集,A是B的子集」。前者的意思是 . 这样写当然也就没有歧义了。
⫋ 就是⊊的另一种写法