集合Aと集合Bがあったとき、
「直積集合A×Bの対角線部分」ってどういうものですか?