Direct sum

From Free net encyclopedia