考虑由所有具有 个分量的布尔向量组成的集合 ,并让 成为由 的所有子集形成的概念类。这个概念类是 PAC 可学习的吗?为了确保一个一致的假设,假设类必须包含概念类,因此 。定理 2.5 给出了以下样本复杂性界限:

在这里,所需的训练样本数量在 上是指数级的,这是在 中表示一个点的成本。因此,定理并不保证 PAC 学习。实际上,不难证明这个通用概念类不是 PAC 可学习的。