for D being non empty set
for d being Element of D
for M being Matrix of D holds block_diagonal (<*M*>,d) = M