Partition of Set Family lfn≥R(;k1,k2,…,kr), for any r-partition of (n)=CU..UCr there exists an S C [n]such that |S=k and (C for some i{1,2,...,r}. Erdos-Rado partition arrow n→(k1,k2,.,kn) Partition of Set Family If n ≥ Rt(r; k1, k2, ... , kr), Erdős-Rado partition arrow n (k1, k2,...,kr) t for any r-partition of [n] t = C1[···[Cr, there exists an S ✓ [n] such that |S| = ki and S t ✓ Ci for some i 2 {1, 2,...,r}