Abstract: | Let S be a finite set, and fix K>2. Let F be a family of subsets of S with the property that whenever A1,...,Ak are sets in F, not necessarily distinct, and A1 ? ? ? Ak = ?, then A1 ? ? ? Ak = S. We prove here that the maximum size of such a family is 2|S|?1 + 1. If we require that the sets A1,...,Ak be distinct, then the maximum size of F is again 2|S|?1 + 1, provided that |S| ≥ log2(K?2)+3. |