GENERALIZED TWO-PART SPERNER FAMILIES

Let m, n, S_1, S_2, …, S_n, be non-negative integers with 0≤m≤n. Assume μ(S_1, S_2, …, S_n)={(a_1, a_2, …, a_n)|0≤a_i≤S_i for each i} is a poser, Where (a_1, a_2, …, a_n)<(b_1, b_2, …, b_n) if and only if a_i