Definition:External Direct Sum of Rings