>>334の i(X)A を X と A の内部積と呼ぶ。