for X being non empty set
for D being non empty a_partition of X
for A being Subset of D holds (proj D) " A = union A