Let M be a finite quasigroup of order n. For any integer k ≥ 2, let H(k, M) be the smallest positive integer h such that there exist h subsets Ai (i = 1, 2, …, h) such that Ai … Ah = M and |Ai| = k for every i = 1, 2, …, h. Define H(k, n) = max H(k, M). It is proved in this paper that
.