对于任意向下封闭的子集族S，其补集的顶点数量与S的元素数量之间有以下不等式关系：
设S为一个有限向下封闭的子集族，记其元素数量为n，记S的补集的顶点数量为m，则有：m ≥ 2^n - 1。
这个不等式的含义是，对于任意有限向下封闭的子集族S，其补集的顶点数量至少是2的n次方减1。
