符号“S”是什么意思？

Question

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

这个符号表示：“假设 X Σ Y 并且...”

Σ = ?

谢谢！

Answer 1

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

Answer 2

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

Answer 3

A bas B -> 超集：A 与 B 具有相同或更多元素

A ⊃ B -> 真超集：A 具有 B 的元素以及更多

例如：

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

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

Answer 4

总结起来基本就是这样