Definition:Diagonal Map