符号"⊇"是什么意思?

5
在附图中有一个我不理解的符号。为了理解加法函数依赖性,我需要知道这个符号的含义。请指教?
它是在写: "假设 X Y 并且..." 的时候出现的符号。 = ?
谢谢!
3个回答

11

这个符号在集合论中用来表示X是Y的超集,即Y的所有元素都包含在X中。请注意,X在此意义下可以等于Y。如果不带下划线,符号表示Y是X的真子集,即它们不能相等。


原回答中x和y的位置颠倒了。现已更正。 - chillysapien

8

1

A ⊇ B -> 超集:A包含B的所有元素,或更多

A ⊃ B -> 真超集:A包含B的所有元素,并且还有额外的元素

例如:

A ⊇ B -> {1, 2, 3} ⊇ {1, 2, 3}

A ⊃ B -> {1, 2, 3, 4} ⊃ {1, 2, 3}


网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接