external direct product

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