定義
積