直積と和集合