internal direct product

[ریاضیات] حاصل ضرب مستقیم درونی