Definition:External Direct Sum of Modules