圏の定義から結合則を取り除くとどうなるの?