矩阵结构与矩阵函数的形式化