集合の相等
本はありません。