真覆盖定义为集合 覆盖，且不包含整个集合 
本身作为子集（Macula 1994）。在集合 
的五个覆盖中，即 
、 
、 
、 
和 
，只有 
不包含子集 
，因此是两个元素的唯一真覆盖。一般来说，对于一个包含 
个元素的集合，真覆盖的数量是
 |  |  |
(1)
|
 |  | ![[1/2sum_(k=0)^(N)(-1)^k(N; k)2^(2^(N-k))]-(2^(2^N))/4,](/images/equations/ProperCover/Inline17.svg) |
(2)
|
前几项分别为 0, 1, 45, 15913, 1073579193, ... (OEIS A007537)。
真覆盖
另请参阅
覆盖, 极小覆盖使用 Wolfram|Alpha 探索
参考文献
Macula, A. J. "有限集的覆盖。"数学杂志 67, 141-144, 1994.Sloane, N. J. A. 整数序列在线百科全书中的序列 A007537/M5287。在 Wolfram|Alpha 中被引用
真覆盖请按如下方式引用
Weisstein, Eric W. "真覆盖。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/ProperCover.html