符号“⊇”是什么意思？

Question

在附图中有一个我不明白的符号。要理解附加功能依赖性，我需要知道符号的含义。请指教？

这是它所说的符号：“假设X ⊇ Y，那......”

⊇ =？

谢谢！

Answer 1

该符号在集合论中用于表示X是Y的超集，即。 Y的所有元素都包含在X中。注意，X在这个意义上可以等于Y.如果没有符号下划线，Y将是X的严格子集，意味着它们不能相等

Answer 2

它means“X是Y的超集”。子集符号相同但水平翻转。

Answer 3

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}