空集是否为NonEmpty集的子集？

Question

让我们想象一个bigset.containSubset(smallset)返回true/false 的函数

结果如何应用于以下边缘情况:

• 这两个bigset和smallset是空的
• bigset是非smallset空的并且是空的

如果我任意定义"如果两个集合的交集给出的结果与较小的集合相同,那么它smallset就是一个子集".然后答案是true针对上述两种情况.这是正确的假设吗？

scala> Set().intersect(Set())
res1: scala.collection.immutable.Set[Nothing] = Set()

scala> Set(1,2,3).intersect(Set())
res2: scala.collection.immutable.Set[Int] = Set()

Answer 1

据我所知,空集是所有集的子集.因此,如果两个集合都是空的,那么它们是相同的集合.如果bigset为nonEmpty且smallset为空,则smallset是bigset的子集.