「結合形式の集合」とは数学でいうとどういったものに該当するのかな