直積と補集合