真覆蓋定義為集合 覆蓋，且不包含整個集合 
本身作為子集（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)。
真覆蓋
另請參閱
覆蓋, 極小覆蓋使用 探索
參考文獻
Macula, A. J. "有限集的覆蓋。"數學雜誌 67, 141-144, 1994.Sloane, N. J. A. 整數序列線上百科全書中的序列 A007537/M5287。在 中被引用
真覆蓋請按如下方式引用
Weisstein, Eric W. "真覆蓋。" 來自 Web 資源。 https://mathworld.tw/ProperCover.html