符号"⊇"是什么意思？

Question

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

这是它所说的符号:"假设X⊇Y那......"

⊇ =？

谢谢!

Answer 1

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

Answer 2

这意味着 "X是Y的超集".子集符号相同但水平翻转.