集合 的非空 子集 的族 ,其 并集 包含给定的集合 (且不包含重复的子集),称为 的一个覆盖(或覆盖族)。例如, 只有一个覆盖,即 。然而, 有五个覆盖,即 、、、 和 。
极小覆盖 是指移除任何一个成员都会破坏覆盖性质的覆盖。例如,在 的五个覆盖中,只有 和 是极小覆盖。还有各种其他类型的专门覆盖,包括 真覆盖、反链覆盖、-覆盖 和 -覆盖 (Macula 1994)。
具有 个元素的集合的可能覆盖的数量是
其中前几个是 1, 5, 109, 32297, 2147321017, 9223372023970362989, ... (OEIS A003465)。