Fractional uniform cover
= Fractional uniform cover
{title2=$\sum_{A\ni i}\lambda_A=1$}
Nonnegative weights $\lambda_A$ on coordinate subsets form a fractional uniform cover when the displayed equality holds for each coordinate. Rational weights can be multiplied by a common denominator to become an integer <uniform cover>. The <uniform covers theorem> then gives $\log|S|\leq\sum_A\lambda_A\log|S_A|$. Exact equality of coordinate coverage matters when projection measures may be less than one.