external direct sum

[ریاضیات] مجموع مستقیم خارجی