Originally Posted by
kthoma17 Let X be a set and let P={A(n)| n is and element of I} be a partition of X. Also, for each n in I let Q(n)= {B(m)| m is an element of J(n)} be a partition of A(n). Prove that {Q(n)| n is an element of I} is a partition of X.