这个集合的帮助函数是什么意思吗

Question

这个函数是什么意思吗，读api的时候它的解释不是很看的懂

Answer 1

需要同时满足两个要求：

1、a中的每个元素e，其“势”都要小于等于b中对应元素的势。
2、b中至少存在一个元素f，其势要大于a中对应元素的势。

第1条的意思比较直观，而第2条的意思可能咋一看不太好理解，这里简单解释一下。

第1条的要求是a中元素的势小于等于b中元素的势，而第2条则要求a中元素的势不能都等于b中元素的势，而是必须至少有一个小于的才能称之为“proper subcollection”。