internal direct sum

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