设 为一个集合,
为
的子集族。如果 子集
的每个子集
都可以表示为
与
中某个子集
的交集,则称
被
破碎。符号表示为:如果对于所有
,都存在某个
,使得
,则称
被
破碎。
如果 被
破碎,则称
破碎
。
有许多等价的方式来定义破碎。可以很容易地验证,上述定义等价于说,如果满足以下条件,则 破碎
:
其中 表示
的幂集。表达这个概念的另一种方式是说,如果
,则基数为
的集合
被集合
破碎,其中:
在机器学习理论领域,通常认为集合 是根据分布
抽取的结果样本,集合
代表“已知”概念或定律的集合。在这种背景下,说
被
破碎直观地意味着,通过仅了解
中的定律,就可以知道
中所有的组成结果。